broom-lang / broomLinks
A programming language with first-class modules and algebraic effects.
☆14Updated 2 years ago
Alternatives and similar repositories for broom
Users that are interested in broom are comparing it to the libraries listed below
Sorting:
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Updated 4 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 5 months ago
- S-expression swiss knife☆45Updated last week
- A type-safe, stack-based functional programming language☆16Updated 4 months ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- ☆22Updated 5 years ago
- Another attempt to realize my programming language☆23Updated 4 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- OCaml bindings for the Orx game engine☆51Updated 2 years ago
- Type systems written in 1ML☆9Updated 5 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- OCaml bindings for the Open Dynamics Engine (ODE), a 3D physics engine.☆16Updated 2 years ago
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 5 years ago
- An interpreter of F-ing modules☆19Updated 6 years ago
- A GLFW binding for OCaml.☆34Updated last year
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆24Updated 9 months ago
- miniKanren in OCaml☆31Updated 2 years ago
- Browser programming toolkit for OCaml☆102Updated 2 weeks ago
- Manfred von Thun's Programming Language Joy☆16Updated 5 months ago
- Match compilation algorithm in OCaml☆27Updated 3 months ago
- Binding to Cairo, a 2D Vector Graphics Library.☆55Updated 7 months ago
- language verification, construction, and analysis☆20Updated 3 years ago
- A Hindley-Milner type inference implementation in Prolog☆13Updated 10 years ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- How do you do that recursive GADT thing again?☆28Updated last year
- Ocaml multimedia library☆30Updated 3 years ago
- Distributable shell scripts with dependencies☆11Updated 8 years ago