Similar repositories to juanbono/type-driven-development-with-idris:

• juanbono/type-driven-development-with-idris github similar
• ReactTraining/react-router github similar
• motemen/gore github similar
• danistefanovic/build-your-own-x github similar
• ubuntu/microk8s github similar
• mozart/mozart.github.io github similar
• Ngoguey42/ft_turing github similar
• juanbono/verified-fp-agda github similar
• mirage/mirage-xen-minios github similar
• mozart/vscode-oz github similar
• gleam-experiments/experiments github similar
• avsm/ocaml-docker-infra github similar
• elmer-compiler/elmer_compiler github similar
• jonludlam/ocaml-iso-filesystem github similar
• achlipala/frapapp github similar
• ocramz/taco-hs github similar
• ucb-bar/cva6-wrapper github similar
• reynir/Verified github similar
• jonludlam/xac github similar
• arcusfelis/binary2 github similar
• avsm/mirage-ci github similar
• coq-community/atbr github similar
• SimonJF/monitored-session-erlang github similar
• kunichiko/ese-vdp github similar
• gleam-lang/elli github similar
• savonet/ocaml-posix github similar
• intel-go/rhoc github similar
• timbertson/opam2nix-packages github similar
• gfngfn/toy-macro-ml github similar
• coreboot/vboot github similar
• gravicappa/klvm github similar
• amutake/actario github similar
• okeuday/erlang_js github similar
• savonet/ocaml-mm github similar
• Licenser/ecrdt github similar
• langston-barrett/coq-big-o github similar
• pedagand/MPRI-2.4-DTP github similar
• project-fifo/rebar3_lint github similar
• OpenVZ/vzkernel github similar
• benwr/bromberg_sl2 github similar