0x0f0f0f / gobbaLinks
A purely functional dynamically typed programming language.
☆56Updated 5 years ago
Alternatives and similar repositories for gobba
Users that are interested in gobba are comparing it to the libraries listed below
Sorting:
- The Caml Light implementation of the Caml language☆68Updated 2 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 5 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆91Updated 7 years ago
- Abstract engine for text edition in OCaml☆123Updated 6 months ago
- A meta-language for OCaml. (Unreleased)☆25Updated 5 months ago
- A toy language based on LLVM that implements the System Fω type-system☆114Updated 2 years ago
- An embeddable Lua 2.5 interpreter implemented in OCaml☆132Updated last month
- Nanopass for OCaml☆148Updated 8 years ago
- OCaml interpreter☆102Updated 6 years ago
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 5 years ago
- A mini language for logic programming☆23Updated 5 years ago
- A pure type system implemented in OCaml☆78Updated 5 years ago
- Ropes ("heavyweight strings") for OCaml☆48Updated last year
- Ocaml multimedia library☆30Updated 4 years ago
- Ordo: A minimalist language with row polymorphism☆85Updated 9 months ago
- Reference of basic commands to get comfortable with OCaml.☆79Updated 6 years ago
- OCaml with macros☆60Updated 3 months ago
- FunTAL: mixing a functional language with assembly.☆41Updated 8 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆104Updated 8 months ago
- Brainfuck formalized in Coq☆31Updated 3 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆32Updated 4 years ago
- SML reference interpreter☆121Updated 3 months ago
- A simple monadic parser combinator library for OCaml☆69Updated 3 years ago
- A Certified Interpreter for ML with Structural Polymorphism☆45Updated 9 months ago
- System Fω interpreter for use in Advanced Functional Programming course☆68Updated 2 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- A programming language with infinite arrays☆31Updated 6 years ago
- 👨🏻💻 Command line interface for user input☆36Updated 6 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Updated 4 years ago
- Declarative 2D vector graphics for OCaml☆98Updated 6 months ago