alf-tool / alf

Related projects: ⓘ

• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 5 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆29Updated 8 years ago
• avsm / ocaml-annot
  OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)
  ☆37Updated 5 years ago
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆16Updated 4 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• racket / datalog
  ☆43Updated last month
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆29Updated 2 years ago
• cedricbonhomme / iterated-function-systems
  Iterated Function Systems fractals with OCaml.
  ☆35Updated 2 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆78Updated 3 years ago
• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆40Updated 2 years ago
• racket / parser-tools
  ☆10Updated last month
• nikivazou / thesis
  Liquid Haskell: How to turn Haskell into a Theorem Prover
  ☆12Updated 7 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆23Updated last year
• deech / shen-rust
  ☆34Updated 5 years ago
• NVIDIA / remorac
  ☆39Updated 8 years ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆22Updated last month
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆26Updated 4 years ago
• dvanhorn / ubik
  Small Scheme interpreter and compiler
  ☆14Updated 8 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆15Updated 3 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 5 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆24Updated 9 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆9Updated 9 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆36Updated 7 years ago
• lkuper / lvar-examples
  Programming with LVars, by example
  ☆35Updated 9 years ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago