EduardoRFS / f-omega
☆11Updated 2 years ago
Alternatives and similar repositories for f-omega:
Users that are interested in f-omega are comparing it to the libraries listed below
- Convert OCaml Types between different major versions☆13Updated 2 years ago
- A programming language, aka a THING☆10Updated 4 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Updated last month
- Toy programming language☆18Updated 8 months ago
- Tornado is a BitTorrent client written entirely in OCaml.☆56Updated 11 months ago
- ☆22Updated 2 years ago
- ☆21Updated 3 years ago
- ☆47Updated last year
- ☆19Updated 9 months ago
- 🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.☆13Updated 2 years ago
- A very small implementation of the Calculus of Constructions for experimentation purposes☆14Updated 6 years ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Updated 3 years ago
- Some day, a purely functional Lisp. Right now? Just a silly prototype.☆15Updated 3 years ago
- A platform agnostic library for P2P communications using UDP and Bin_prot☆21Updated 2 years ago
- ☆25Updated 3 years ago
- VimL lisp evaluator☆10Updated 3 years ago
- Algebraic structures in OCaml.☆24Updated this week
- ☆18Updated last year
- ☆12Updated this week
- A project which aim to help engineers to make proves easily☆13Updated 2 years ago
- 🐒 The Blow Your Mind Conference☆13Updated 3 months ago
- ☆8Updated 3 years ago
- a small one-file lisp implemented in kind2, intentionally incomplete☆10Updated last year
- Menhir polishing toolbox, for experienced druids☆29Updated this week
- An OCaml wrapper library that makes it easy to send email with different services.☆25Updated 3 years ago
- A simple (and unfinished!!) database management system.☆18Updated last year
- ☆25Updated 2 years ago
- ☆24Updated last week