Pinned Repositories
academic-admin
:arrow_down: Admin tool for Academic Website Builder
bitburner
Bitburner Game
bon
Generate builders for everything!
build-info
Collects build-information of your Rust crate
ctsh
drsat
Daniel's Rusty SAT solver
fmt-derive
A better `#[derive(Debug, Display)]`
fp-benchmarks-aachen
rust-cli-template
A template for quickly writing (smallish) CLI applications in Rust
tracing-for-pyo3-logging
Enables tracing for pyo3-based embedded python applications using Python's logging module.
danielschemmel's Repositories
danielschemmel/build-info
Collects build-information of your Rust crate
danielschemmel/drsat
Daniel's Rusty SAT solver
danielschemmel/tracing-for-pyo3-logging
Enables tracing for pyo3-based embedded python applications using Python's logging module.
danielschemmel/ctsh
danielschemmel/rust-cli-template
A template for quickly writing (smallish) CLI applications in Rust
danielschemmel/fmt-derive
A better `#[derive(Debug, Display)]`
danielschemmel/fp-benchmarks-aachen
danielschemmel/academic-admin
:arrow_down: Admin tool for Academic Website Builder
danielschemmel/bitburner
Bitburner Game
danielschemmel/bon
Generate builders for everything!
danielschemmel/fzf
Ef-🐟-ient fish keybindings for fzf
danielschemmel/hugo-academic
📝 The website builder for Hugo. Build and deploy a beautiful website in minutes!
danielschemmel/emma
A full-fledged `no_std` and "no-libc" capable memory allocator.
danielschemmel/kdalloc-issta-2023
danielschemmel/kdalloc-issta-2023-slides
danielschemmel/klee
KLEE Symbolic Execution Engine
danielschemmel/klee.github.io
Website for the KLEE project: https://klee.github.io/
danielschemmel/libc
Raw bindings to platform APIs for Rust
danielschemmel/meson-cpp-scaffold
danielschemmel/nix-klee
danielschemmel/ralik
danielschemmel/rust-staticlib-ar
danielschemmel/rustix
Safe Rust bindings to POSIX-ish APIs
danielschemmel/shell-escape
danielschemmel/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
danielschemmel/tildefier
danielschemmel/timer
danielschemmel/tuprules
My Tuprules.lua
danielschemmel/z3
The Z3 Theorem Prover
danielschemmel/z3-vector-bench