Similar repositories to gilith/hol:

• gilith/hol github similar
• ocharles/ghc-nix github similar
• ezyang/tagstream-conduit github similar
• Gabriel439/Haskell-Pipes-Extras-Library github similar
• wgyn/comp-semantics github similar
• homam/fsm-conversational-ui github similar
• runKleisli/netwire-vinylglfw-examples github similar
• sglasman/puzma github similar
• danistefanovic/build-your-own-x github similar
• iokasimov/haskell_experiments github similar
• JonathanLorimer/home-manager github similar
• Eugeny/terminus github similar
• pixijs/pixi.js github similar
• kseo/tagsoup-megaparsec github similar
• evanrelf/sidekick github similar
• juhp/prime-bench github similar
• jkarni/fork github similar
• massysett/pipes-cliff github similar
• jez/stlc-infer github similar
• strake/dual.hs github similar
• tonyday567/hcount github similar
• lucasdicioccio/santa-wrap github similar
• isovector/circus github similar
• msoos/minisat-v1.14 github similar
• tgrospic/rholang-hs github similar
• michaeljklein/text-trie github similar
• agentultra/adventure-engine github similar
• hasufell/abstract-filepath github similar
• albertz/TeXShop github similar
• binghe/HOL-CCS github similar
• louispan/pipes-fluid github similar
• fzakaria/nixos-maven-example github similar
• kcsongor/safe-coerce github similar
• goldfirere/wordle github similar
• Mesabloo/coqide.kak github similar
• nachivpn/nbe-edsl github similar
• kuribas/haskell-opentype github similar
• felipeperet/logic github similar
• soupi/learn-twain-bulletin-app github similar
• aljce/unpacked-maybe github similar