Alternatives and similar repositories for sat3:

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

• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 8 years ago
• alsonkemp / turbinado
  MVC Web Framework for Haskell. See http://github.com/turbinado/turbinado-website for example code
  ☆86Updated 4 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• bos / llvm
  Haskell bindings to the LLVM compiler infrastructure project.
  ☆105Updated 5 years ago
• HoTT / HoTT-2019
  Conference on Homotopy Type Theory 2019
  ☆15Updated 5 years ago
• kwantam / lviv
  stack-based RPN functional programming language
  ☆53Updated 7 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• barak / lush
  git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation
  ☆21Updated 12 years 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…
  ☆31Updated 9 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• iskandr / ocaml_llvm
  Toy compiler for OCaml Meetup
  ☆67Updated 13 years ago
• rrnewton / Essentials-of-Compilation
  A book about compiling Racket to x86-64 assembly
  ☆21Updated 7 years ago
• andreasdotorg / pdfparser
  ☆23Updated 13 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 12 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• HoTT / M-types
  A formalization of M-types in Agda
  ☆32Updated 5 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆16Updated 2 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• dbp / howtoprovefullabstraction
  Writeup that goes along with this:
  ☆15Updated 7 years ago
• gasche / popl2014-papers
  ☆73Updated 11 years ago
• sanjoy / DietLISP
  Toy lisp interpreter / PLT playground
  ☆39Updated 12 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 9 years ago
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 2 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• yallop / popl2015-papers
  Accepted papers for POPL 2015
  ☆66Updated 8 years ago