broom-lang / broom
A programming language with first-class modules and algebraic effects.
☆15Updated 2 years ago
Alternatives and similar repositories for broom:
Users that are interested in broom are comparing it to the libraries listed below
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Updated 3 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 3 months ago
- A type-safe, stack-based functional programming language☆16Updated last month
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- The OCaml-Canvas library provides a portable Canvas for OCaml☆59Updated 9 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Code style checker for Jane Street Packages☆19Updated 4 months ago
- A Framework for building Batched Concurrent Services☆21Updated 6 months ago
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 4 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Getting started with ocaml-rs☆31Updated 7 months ago
- LablGL: an openGL interface for OCaml☆23Updated last year
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated last week
- ☆22Updated 5 years ago
- Numerical Optimisation Library☆16Updated last year
- McLulang: The message is the language☆10Updated 7 months ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A small CLI to launch notifications at a given time☆13Updated 4 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- Another attempt to realize my programming language☆23Updated 2 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated 3 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 2 years ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- Arbitrary-precision decimal based on Zarith☆19Updated 5 months ago
- Unofficial OCaml Standard Library Docs - Modern Theme☆11Updated 6 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆43Updated 2 months ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Some rudimentary proofs on subtyping☆11Updated 3 years ago