Ninjacop / BuBBLELinks
A DSL/LISP dialect written in Haskell
☆21Updated 6 years ago
Alternatives and similar repositories for BuBBLE
Users that are interested in BuBBLE are comparing it to the libraries listed below
Sorting:
- Propositional calculus in Haskell☆11Updated 8 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Iterated Function Systems fractals with OCaml.☆35Updated 3 years ago
- Examples of the nice parts of Racket☆22Updated 7 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- An implementation of microKanren in Shen☆10Updated 10 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- A small demo lambda-language written in Python☆32Updated 6 years ago
- 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
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- Schrödinger's Tcl☆30Updated 10 years ago
- An interpreter for the Mistral language.☆19Updated 7 years ago
- 99 Problems in OCaml☆22Updated 9 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- ☆41Updated 10 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- Codes related to Idris☆15Updated 9 years ago
- Jane Street Capital's standard library overlay☆36Updated this week
- Links to type system research materials☆10Updated 9 years ago
- ☆35Updated 5 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- Chess Engine written in Haskell☆15Updated 6 years ago
- OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)☆37Updated 6 years ago
- A redis client for Racket.☆17Updated 10 years ago