Pinned Repositories
abeye
🐝 OpenAPI client generator
binswap
Bundle binary fetching and updating directly into you distributed binaries!
cdm
Algorithms and data structures for Computational Discrete Mathematics
go-bridge
Convert your Go structs to other languages, including TypeScript / Flow, Elm and Rust among others!
lo
👋 lo is a tiny but expressive compiled programming language
naduo
A web app for natural deduction
smtlib-rs
A high-level API for interacting with SMT solvers.
VectorJs
worksonmymachine.xyz
Visit us at
oeb25's Repositories
oeb25/smtlib-rs
A high-level API for interacting with SMT solvers.
oeb25/binswap
Bundle binary fetching and updating directly into you distributed binaries!
oeb25/cdm
Algorithms and data structures for Computational Discrete Mathematics
oeb25/abeye
🐝 OpenAPI client generator
oeb25/cargo-readme
Generate README.md from docstrings
oeb25/excourser
Visual graph of courses on DTU
oeb25/mist
Mist: Userfriendly verification language
oeb25/ayu-colors-rs
The ayu color scheme as a color palette ported to Rust
oeb25/dm.bvng.dk
Tools for discrete mathematics
oeb25/documentation
Armbian Linux Documentation
oeb25/dtu-thesis-pandoc-template
A template for the DTU Compute LaTeX template, but translated to Pandoc
oeb25/hi-si-icons-preact
Heroicons + Simple Icons for Preact
oeb25/hyperpolyglot
A fast programming language detector
oeb25/lean-docgen4-gh-pages
oeb25/mathlib4
The math library of Lean 4
oeb25/msc-thesis
oeb25/num_enum
oeb25/oeb25.github.io
oeb25/queueue
oeb25/react-typescript-tailwind-parcel
React / TypeScript / Tailwind / Parcel Starter
oeb25/riport
oeb25/rkyv
Zero-copy deserialization framework for Rust
oeb25/rkyv-partial-eq-error-reproduction
oeb25/scylla-rust-driver
Async CQL driver for Rust, optimized for Scylla!
oeb25/self_update
Self updates for rust executables
oeb25/serial-monitor-rust
A cross-plattform serial monitor/plotter written entirely in rust.
oeb25/stract
Open source web search engine
oeb25/tapi
Generate type definitions for your types simply
oeb25/typeshare
Typeshare is the ultimate tool for synchronizing your type definitions between Rust and other languages for seamless FFI.
oeb25/vipers
Crates for interacting with the Viper verification infrastructure