Alternatives and similar repositories for BuBBLE

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

• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆34Updated 4 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆32Updated 7 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated last month
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 10 years ago
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• DexterLagan / lsh
  A fully-featured lisp/scheme shell written in Racket.
  ☆122Updated 4 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated last year
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆29Updated 7 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆48Updated 8 years ago
• cedricbonhomme / iterated-function-systems
  Iterated Function Systems fractals with OCaml.
  ☆34Updated 3 years ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 7 years ago
• mukeshtiwari / Idris
  Codes related to Idris
  ☆15Updated 10 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated 2 years ago
• vijaymathew / slogan
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Updated 3 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆73Updated 12 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆12Updated 3 years ago
• danielepiccone / aperetif
  ☆15Updated 6 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 5 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• jfo / sild
  Sild is a lisp dialect
  ☆43Updated 9 months ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 6 years ago
• ramadis / slang
  📟 Encoding/Decoding tool for Martin David's theoretical S language programs.
  ☆16Updated 9 years ago