Alternatives and similar repositories for fasthat:

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

• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• cobusve / TLAPLUS_DeadlockEmpire
  Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC
  ☆22Updated 5 years ago
• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 4 years ago
• coq-community / atbr
  Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
  ☆23Updated 4 months ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆29Updated 9 years ago
• LouisJenkinsCS / LLVM-JVM
  [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
  ☆21Updated 3 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• coq-community / tarjan
  Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …
  ☆14Updated last week
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆26Updated 10 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆34Updated this week
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• zenon-prover / zenon
  The Zenon theorem prover
  ☆15Updated last year
• jsiek / arete
  Arete is an experimental programming language.
  ☆12Updated last year
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 7 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆72Updated 11 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆15Updated 13 years ago
• ilya-klyuchnikov / faba
  Fast Bytecode Analysis
  ☆15Updated 9 years ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆29Updated 2 months ago
• DistributedComponents / InfSeqExt
  A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
  ☆16Updated 2 years ago