Alternatives and similar repositories for derivation-machine:

Users that are interested in derivation-machine are comparing it to the libraries listed below

• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• wyc / snippets
  ☆52Updated 7 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆35Updated last year
• cedricbonhomme / iterated-function-systems
  Iterated Function Systems fractals with OCaml.
  ☆35Updated 2 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆31Updated 6 years ago
• ryukinix / lisp-inference
  An Inference Engine based on Propositional Calculus written in Common Lisp
  ☆40Updated last month
• texodus / forml
  A programming language
  ☆77Updated 11 years ago
• idris-hackers / idris-cph-exercises
  Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
  ☆23Updated 9 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 11 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• readevalprintlove / readevalprintlove
  The repository for the zine
  ☆30Updated 9 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• vijaymathew / slogan
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Updated 3 years ago
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• MichaelBurge / redshift-shellcode
  Example of injecting x64 shellcode into Amazon Redshift
  ☆16Updated 7 years ago
• motersen / pot
  organizes tags
  ☆23Updated 7 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 6 years ago
• chip8-rust / chip8-vm
  CHIP-8 virtual machine implementation in the Rust programming language
  ☆13Updated 9 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• mpw / pLucid-osx
  A "port" of plucid that works on OS X
  ☆12Updated 10 years ago
• ckkashyap / nimxv6
  Infuse nim into xv6 till it replaces all the "C"
  ☆13Updated 9 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago