Daniel Schemmel's repositories
build-info
Collects build-information of your Rust crate
tracing-for-pyo3-logging
Enables tracing for pyo3-based embedded python applications using Python's logging module.
rust-cli-template
A template for quickly writing (smallish) CLI applications in Rust
fmt-derive
A better `#[derive(Debug, Display)]`
academic-admin
:arrow_down: Admin tool for Academic Website Builder
Language:PythonMIT000
hugo-academic
📝 The website builder for Hugo. Build and deploy a beautiful website in minutes!
kattis_skeleton
A few scripts to automatically get and turn in problems from open.kattis.com
Language:Dockerfile000
Language:TeX000
klee.github.io
Website for the KLEE project: https://klee.github.io/
Language:C000
Language:Makefile000
Apache-2.0000
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
NOASSERTION000
tuprules
My Tuprules.lua
Language:Lua000