svenkeidel

sturdy

Sturdy is a library for developing sound static analyses in Haskell.

category-studygroup

hsynth

Software Synthesizer in Haskell

category-theory

Category Theory formalized in Coq

haskell-meetup-talk-05-09-19

hug

Code for the Frankfurt Haskell User Group

monto-broker

Upstream is at https://github.com/monto-editor/broker

stream-bench

Benchmarks for Stream Datatypes

tree-automata

Regular tree automata library by Michael D. Adams

abs-den

abs-denot

congruence-closure

Computes the congruence closure of formulas of uninterpreted function symbols

dump-core

example-fuzzing

haskell-wasm

Haskell WebAssembly Toolkit

hsedit

husk-scheme

A full implementation of the Scheme programming language for the Haskell Platform.

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.

jazzer

Coverage-guided, in-process fuzzing for the JVM

lens-tutorial

monoidal-categories

mpfr-java

GNU MPFR Java Bindings

opal

opal-scala3-bug

plover-wtype-output

Fork of https://git.d2evs.net/~evan/plover-wtype-output/

presheafs

resume

A Bootstrap 4 resume/CV theme created by Start Bootstrap

rust-lambda-calculus

stickerpicker

A fast and simple Matrix sticker picker widget

tierquiz