Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by oeb25
A curated list of projects in awesome lists by oeb25 .
https://github.com/oeb25/smtlib-rs
A high-level API for interacting with SMT solvers.
Last synced: 07 Nov 2024
https://github.com/oeb25/go-bridge
Convert your Go structs to other languages, including TypeScript / Flow, Elm and Rust among others!
Last synced: 07 Nov 2024
https://github.com/oeb25/lo
👋 lo is a tiny but expressive compiled programming language
Last synced: 07 Nov 2024
https://github.com/oeb25/binswap
Bundle binary fetching and updating directly into you distributed binaries!
Last synced: 07 Nov 2024
https://github.com/oeb25/cdm
Algorithms and data structures for Computational Discrete Mathematics
Last synced: 07 Nov 2024
https://github.com/oeb25/ofmc-ui
A graphical user interface for interacting with OFMC
Last synced: 07 Nov 2024
https://github.com/oeb25/sql-fmt
A _very inprogress_ SQL parser and formatter written in Rust, specifically ment to be used with PostgreSQL
formatter parser postgres rust
Last synced: 07 Nov 2024
https://github.com/oeb25/uncommon
A markdown-ish parser written for WASM in Rust
Last synced: 07 Nov 2024
https://github.com/oeb25/spaget
Straighten out your spaghetti tabs with this simple popup
Last synced: 07 Nov 2024
https://github.com/oeb25/super-tiny-service-example
A service example using Caddy as proxy all running in tiny precompiled Docker containers.
Last synced: 07 Nov 2024
https://github.com/oeb25/react-typescript-tailwind-parcel
React / TypeScript / Tailwind / Parcel Starter
parcel-bundler react tailwindcss typescript
Last synced: 07 Nov 2024
https://github.com/oeb25/web-dm
A set of tools for visualizing and solve discrete mathematic problems
Last synced: 07 Nov 2024
https://github.com/oeb25/runshader
runshader is a small utility to run fragment shaders from the command line!
Last synced: 07 Nov 2024
https://github.com/oeb25/tapi
Generate type definitions for your types simply
Last synced: 07 Nov 2024
https://github.com/oeb25/hi-si-icons-preact
Heroicons + Simple Icons for Preact
Last synced: 07 Nov 2024
https://github.com/oeb25/livn
CLI and Express middleware for those livn' the dream
Last synced: 07 Nov 2024
https://github.com/oeb25/vipers
Crates for interacting with the Viper verification infrastructure
Last synced: 07 Nov 2024
https://github.com/oeb25/kimi
A small collection of useful calculators for doing chemical calculations
Last synced: 07 Nov 2024
https://github.com/oeb25/dtu-thesis-pandoc-template
A template for the DTU Compute LaTeX template, but translated to Pandoc
Last synced: 07 Nov 2024
https://github.com/oeb25/02221-atom-sync-demo
A simple chat app for demonstrating the architectural model of synchronizing application state using atoms
Last synced: 07 Nov 2024
https://github.com/oeb25/boieng
Boieng is a robot complete with concurrency, distribution and fault tolerance. Short for Boi Engenering 🕴
Last synced: 07 Nov 2024
https://github.com/oeb25/ding-dock
Often say "What the fuck"? Just use ding-dock! Your one-stop-shop for having all the softwares!
Last synced: 07 Nov 2024
https://github.com/oeb25/multisweeper
An online version of the classic Mine Sweeper from Microsoft!
Last synced: 07 Nov 2024
https://github.com/oeb25/mg
A Rust wrapper around OpenGL for personal projects and exploration
Last synced: 07 Nov 2024