micheleriva / CadregaLispLinks
🍎 Just another useless programming language, but with inganno.
☆37Updated 6 years ago
Alternatives and similar repositories for CadregaLisp
Users that are interested in CadregaLisp are comparing it to the libraries listed below
Sorting:
- The popular Whitespace programming language with my changes.☆15Updated 4 years ago
- Source code for haskle.net☆30Updated last year
- OCaml implementation of a NES Legend of Zelda-style browser-based game☆26Updated 4 years ago
- Create pictures and animations with Box-drawing characters!☆12Updated 4 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Updated 10 years ago
- Tutorial / REPL for the lambda calculus☆66Updated 10 months ago
- Generate random values in Elm☆46Updated last year
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Updated 4 years ago
- Roc Build Tool☆49Updated 2 years ago
- OCaml implementation of the KDL Document Language☆15Updated 4 months ago
- A simple example of integrating TypeScript and Haskell.☆13Updated 3 years ago
- A database with packages from all versions, all commits and all channels.☆19Updated 4 years ago
- Language mixing functional programming and Ambient Calculus☆10Updated 8 months ago
- Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.☆27Updated 7 months ago
- Ansible definitions with Dhall☆68Updated last year
- Work in progress pure python dhall interpreter☆27Updated 6 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 3 years ago
- A simple, purely-functional programming language☆25Updated 3 years ago
- Source for the unisonweb.org website☆39Updated 2 years ago
- Exercism exercises in Idris.☆35Updated last month
- 🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)☆20Updated 3 years ago
- Type-safe, printf-style formatting for PureScript☆17Updated 3 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- A Dhall encoding of the GitLab CI configuration schema☆48Updated last year
- IDE support for the functional logic programming language Curry☆31Updated 3 months ago
- Dhall helpers for github actions☆54Updated last year
- Launch and manage your Tmux sessions from Dhall files.☆17Updated 4 years ago
- The first ever roguelike written in the OCaml type system☆88Updated 4 months ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated 2 years ago
- A simple library for defining ADTs☆15Updated last year