Alternatives and similar repositories for Hexacraft:

Users that are interested in Hexacraft are comparing it to the libraries listed below

• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆84Updated this week
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆82Updated last year
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated 2 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆92Updated 6 years ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 3 years ago
• VMatthijs / CHAD
  ☆21Updated 2 years ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 3 months ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated 9 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated last year
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆28Updated 7 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆62Updated 7 months ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 3 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆20Updated 2 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆66Updated this week
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆79Updated 8 months ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆39Updated last year
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆83Updated this week
• wilbowma / pl-thesaurus
  ☆88Updated 3 years ago
• leanprover-community / lean-auto
  Experiments in automation for Lean
  ☆86Updated this week
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆35Updated 2 years ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆53Updated 2 years ago
• ammkrn / nanoda_lib
  Library implementing type inference/checking functionality based on the Lean theorem prover
  ☆48Updated 6 months ago
• tlringer / ml-for-proofs
  An open bibliography of machine learning for formal proof papers
  ☆32Updated last year
• conal / paper-2020-higher-order-ad
  Higher-order, higher-order automatic differentiation
  ☆30Updated 4 years ago
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆122Updated 10 months ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆33Updated this week
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆35Updated last month
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆18Updated last week