anjlab / sat3

Related projects ⓘ

Alternatives and complementary repositories for sat3

• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• ice1k / Theorems
  Theorems that rule this multiverse
  ☆11Updated 6 years ago
• mrry / skywriting
  Language and execution engine for cloud programming
  ☆21Updated 13 years ago
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 10 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆120Updated 7 years ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 3 years ago
• thautwarm / LanguageCollections
  programming languages invented/implemented by myself.
  ☆8Updated last year
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 8 years ago
• alsonkemp / turbinado
  MVC Web Framework for Haskell. See http://github.com/turbinado/turbinado-website for example code
  ☆86Updated 4 years ago
• barak / lush
  git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation
  ☆22Updated 11 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• awodey / math
  Mathematical notes and papers
  ☆25Updated last month
• smarr / SOM
  SOM - Simple Object Machine
  ☆22Updated 2 months ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• akeep / abstract-racket
  An abstract machine for analyzing Racket bytecode.
  ☆28Updated 3 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆34Updated 7 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 9 years ago
• iskandr / ocaml_llvm
  Toy compiler for OCaml Meetup
  ☆67Updated 12 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 8 years ago
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 8 years ago
• gasche / popl2014-papers
  ☆73Updated 10 years ago
• mmaleki / LogicalDifferentiation
  Differentiation in logical form by Stone duality.
  ☆8Updated 7 years ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆19Updated 7 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆72Updated 11 years ago
• soegaard / meta
  Exploration of the inner workings of Racket
  ☆19Updated 8 years ago