0x0f0f0f / gobba
A purely functional dynamically typed programming language.
☆56Updated 4 years ago
Alternatives and similar repositories for gobba:
Users that are interested in gobba are comparing it to the libraries listed below
- 👨🏻💻 Command line interface for user input☆36Updated 5 years ago
- Abstract engine for text edition in OCaml☆120Updated last year
- A benchmark suite for the OCaml compiler☆83Updated 6 months ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 7 months ago
- Multilingualization for the OCaml source code☆50Updated 5 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆32Updated 4 years ago
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- language verification, construction, and analysis☆20Updated 2 years ago
- Example row-polymorphism implementations☆61Updated last year
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 6 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆17Updated 7 months ago
- How do you do that recursive GADT thing again?☆27Updated 11 months ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- A Certified Interpreter for ML with Structural Polymorphism☆43Updated 2 years ago
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆53Updated 3 years ago
- Brainfuck formalized in Coq☆26Updated 2 years ago
- An Emacs clone written in OCaml☆32Updated 10 months ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated last month
- A simple monadic parser combinator library for OCaml☆66Updated 2 years ago
- Functional Programming in OCaml MOOC☆36Updated 5 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago
- Pretty printing library☆55Updated 3 months ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last year
- (mirror) A vector graphics renderer like NanoVG in OCaml☆78Updated 11 months ago
- A meta-language for OCaml. (Unreleased)☆25Updated 3 months ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆89Updated 6 years ago
- OCaml with macros☆56Updated last month
- Yet another implementation of fork&exec and related functionality☆11Updated 3 months ago