Similar repositories to juanbono/verified-fp-agda:

• juanbono/verified-fp-agda github similar
• ReactTraining/react-router github similar
• motemen/gore github similar
• danistefanovic/build-your-own-x github similar
• sportradar/aws-azure-login github similar
• ubuntu/microk8s github similar
• shaunlebron/parinfer github similar
• lfe-rebar3/lodox github similar
• juanbono/type-driven-development-with-idris github similar
• AOMediaCodec/SVT-AV1 github similar
• Dierk/fregeTutorial github similar
• gleam-experiments/experiments github similar
• elmer-compiler/elmer_compiler github similar
• lfe-rebar3/compile github similar
• achlipala/frapapp github similar
• ocramz/taco-hs github similar
• ucb-bar/cva6-wrapper github similar
• dongcarl/parinfer github similar
• reynir/Verified github similar
• arcusfelis/binary2 github similar
• coq-community/atbr github similar
• joan38/mill-scalafix github similar
• SimonJF/monitored-session-erlang github similar
• sifive/ProcKami github similar
• gleam-lang/elli github similar
• lfex/clj github similar
• ucb-bar/barstools github similar
• timbertson/opam2nix-packages github similar
• gravicappa/klvm github similar
• amutake/actario github similar
• stylefruits/rib github similar
• okeuday/erlang_js github similar
• Licenser/ecrdt github similar
• langston-barrett/coq-big-o github similar
• pedagand/MPRI-2.4-DTP github similar
• Frege/frege-lein-plugin github similar
• project-fifo/rebar3_lint github similar
• rust-osdev/spinning_top github similar
• jdhorwitz/reason-from-the-very-beginning github similar
• encabulators/natsclient github similar