Ucombinator / Tapas

Related projects ⓘ

Alternatives and complementary repositories for Tapas

• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆9Updated 9 years ago
• flavioc / meld
  Meld virtual machine.
  ☆29Updated 9 years ago
• vellvm / vellvm-legacy
  ☆33Updated 9 years ago
• avsm / EpiVM
  Epic - a Supercombinator Compiler
  ☆11Updated 14 years ago
• akeep / abstract-racket
  An abstract machine for analyzing Racket bytecode.
  ☆28Updated 3 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• mmaleki / LogicalDifferentiation
  Differentiation in logical form by Stone duality.
  ☆8Updated 7 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 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…
  ☆30Updated 8 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 4 years ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• cartazio / language-c
  git mirror of language-c darcs repo at http://code.haskell.org/language-c
  ☆11Updated last year
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• GaloisInc / jvm-parser
  A Haskell parser for JVM bytecode files
  ☆38Updated 10 months ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated last year
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 11 years ago
• UCSD-PL / nano-smt
  "Toy" SMT Solver for Educational Purposes
  ☆20Updated 11 years ago
• GaloisInc / jvm-verifier
  The Java Symbolic Simulator, part of SAW.
  ☆10Updated 4 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 5 years ago
• michaelballantyne / meta-minikanren
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆22Updated 8 years ago
• aliclark / hasp
  A Lisp syntax for Haskell.
  ☆22Updated 12 years ago
• arcfide / goscher
  Pure Scheme Gopher Server
  ☆10Updated 12 years ago
• sunshowers / z3.rkt
  Racket bindings for Z3
  ☆19Updated 12 years ago
• tel / ocaml-transducers
  Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.
  ☆17Updated 9 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆24Updated 11 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆71Updated 3 months ago
• calvis / kraken
  Prototype of a new constraint-logic programming language in Racket
  ☆28Updated 10 years ago