EduardoRFS / f-omega
☆11Updated last year
Related projects ⓘ
Alternatives and complementary repositories for f-omega
- A programming language, aka a THING☆10Updated 4 years ago
- Convert OCaml Types between different major versions☆13Updated 2 years ago
- Toy programming language☆18Updated 5 months ago
- 🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.☆13Updated 2 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Updated 9 months ago
- Some day, a purely functional Lisp. Right now? Just a silly prototype.☆15Updated 3 years ago
- ☆22Updated last year
- VimL lisp evaluator☆10Updated 3 years ago
- Tornado is a BitTorrent client written entirely in OCaml.☆56Updated 8 months ago
- A simple (and unfinished!!) database management system.☆18Updated last year
- ☆18Updated last year
- ☆25Updated 3 years ago
- ☆21Updated 2 years ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Updated 3 years ago
- ☆47Updated last year
- My NixOS configuration☆12Updated this week
- ☆8Updated 3 years ago
- A very small implementation of the Calculus of Constructions for experimentation purposes☆14Updated 6 years ago
- 🐒 The Blow Your Mind Conference☆13Updated 3 weeks ago
- Small lisp interpreter in Python☆9Updated 2 years ago
- ☆19Updated 6 months ago
- 🍞 | IDE focused programming language study☆32Updated 8 months ago
- ☆23Updated 4 years ago
- Parse CSS value definition syntax as stated at https://drafts.csswg.org/css-values-3/#value-defs☆9Updated 4 years ago
- A simple viewer of the cutoff scores for all Brazilian higher education institutions participating in SISU☆16Updated 10 months ago
- A tiny command line bookmark manager.☆13Updated 2 years ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆46Updated 2 years ago