Similar repositories to srid/agda-template:

• srid/agda-template github similar
• tweag/awesome-learning-haskell github similar
• viperML/home-manager-wsl github similar
• wezm/rsspls github similar
• hecrj/iced github similar
• dhilst/coqstudy github similar
• nikita-volkov/structure-kit github similar
• PoorlyDefinedBehaviour/a_short_introduction_to_system_f_and_system_f_omega github similar
• srid/anima github similar
• mauricioabreu/lang-studies github similar
• dhilst/vlisp github similar
• johannes-mueller/dired-gitignore.el github similar
• cpcloud/flake-update-action github similar
• lucasvreis/org-parser github similar
• bertas/hm_prolog github similar
• AJChapman/co-log-polysemy-formatting github similar
• srid/haskell-flake github similar
• serokell/update-daemon github similar
• EduardoRFS/thing github similar
• divnix/quick-nix-registry github similar
• tfausak/haskell-knowledge-base github similar
• sicpjs/estrutura-e-interpretacao-de-programas-de-computador-javascript github similar
• vmarcosp/dotfiles github similar
• idris-community/idris2-mode github similar
• ianthehenry/ocamlsyntax.com github similar
• coq-community/coq-nix-toolbox github similar
• tweag/opam-nix github similar
• metareflection/poof github similar
• rebeccaskinner/rofi-hoogle github similar
• srid/rib-sample github similar
• tbenst/purescript-nix-example github similar
• bamboo/idris2-lsp-vscode github similar
• borodust/notalone github similar
• SqrtMinusOne/elfeed-summary github similar
• NorfairKing/autorecorder github similar
• fosskers/org-mode github similar
• unnohideyuki/Tiger-in-Haskell github similar
• nix-community/nixago github similar
• kowainik/unlift github similar
• manateelazycat/lazy-load github similar