Pinned Repositories
category-studygroup
category-theory
Category Theory formalized in Coq
GdI-1-SS2010-Scheme
GdI-2-SS2011
gnome-citadel
Simulation game inspired by Dwarf Fortress
haskell-meetup-talk-05-09-19
hsynth
Software Synthesizer in Haskell
hug
Code for the Frankfurt Haskell User Group
monto-broker
Upstream is at https://github.com/monto-editor/broker
sturdy
Sturdy is a library for developing sound static analyses in Haskell.
svenkeidel's Repositories
svenkeidel/sturdy
Sturdy is a library for developing sound static analyses in Haskell.
svenkeidel/category-studygroup
svenkeidel/hsynth
Software Synthesizer in Haskell
svenkeidel/category-theory
Category Theory formalized in Coq
svenkeidel/haskell-meetup-talk-05-09-19
svenkeidel/hug
Code for the Frankfurt Haskell User Group
svenkeidel/monto-broker
Upstream is at https://github.com/monto-editor/broker
svenkeidel/stream-bench
Benchmarks for Stream Datatypes
svenkeidel/tree-automata
Regular tree automata library by Michael D. Adams
svenkeidel/abs-den
svenkeidel/abs-denot
svenkeidel/congruence-closure
Computes the congruence closure of formulas of uninterpreted function symbols
svenkeidel/dump-core
svenkeidel/example-fuzzing
svenkeidel/haskell-wasm
Haskell WebAssembly Toolkit
svenkeidel/hsedit
svenkeidel/husk-scheme
A full implementation of the Scheme programming language for the Haskell Platform.
svenkeidel/interruptable-analyses
Proof of concept of analyses with interruptable fixpoint algorithm. This is useful for integrating existing single-language analyses into a cross-language analysis.
svenkeidel/jazzer
Coverage-guided, in-process fuzzing for the JVM
svenkeidel/lens-tutorial
svenkeidel/monoidal-categories
svenkeidel/mpfr-java
GNU MPFR Java Bindings
svenkeidel/opal
svenkeidel/opal-scala3-bug
svenkeidel/plover-wtype-output
Fork of https://git.d2evs.net/~evan/plover-wtype-output/
svenkeidel/presheafs
svenkeidel/resume
A Bootstrap 4 resume/CV theme created by Start Bootstrap
svenkeidel/rust-lambda-calculus
svenkeidel/stickerpicker
A fast and simple Matrix sticker picker widget
svenkeidel/tierquiz