micheleriva / CadregaLispLinks
π Just another useless programming language, but with inganno.
β38Updated 6 years ago
Alternatives and similar repositories for CadregaLisp
Users that are interested in CadregaLisp are comparing it to the libraries listed below
Sorting:
- A minimal language inspired by Lisp and Haskellβ20Updated 5 years ago
- Ansible definitions with Dhallβ68Updated last year
- Dhall support for the DOT language for graphvizβ38Updated 3 years ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScriptβ32Updated 2 years ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambdaβ10Updated 5 years ago
- Source code for haskle.netβ30Updated 2 years ago
- A CLI tool for generating images of ferns πΏ and other Iterated Function Systemsβ49Updated 2 months ago
- The popular Whitespace programming language with my changes.β15Updated 4 years ago
- The glitch-soc/Mastodon fork running on types.plβ26Updated 4 months ago
- optimize your home bar with β¨logic programmingβ¨β80Updated 3 years ago
- Lua parser and pretty-printerβ15Updated last year
- PoC for Object Oriented Haskellβ21Updated 5 years ago
- Snake game, made with haskell-misoβ13Updated 7 years ago
- Small library for braillizing imagesβ17Updated 6 years ago
- Master thesis on developing a static type checker for Erlangβ27Updated 7 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compilerβ15Updated 11 years ago
- A structural editor for JSON valuesβ77Updated 3 years ago
- Haskell implementation of Nanoid, secure URL-friendly unique ID generator.β20Updated 7 years ago
- Kempe is a compiled stack-based languageβ58Updated last year
- Tutorial / REPL for the lambda calculusβ67Updated last year
- Work in progress pure python dhall interpreterβ27Updated 6 years ago
- A Dhall encoding of the GitLab CI configuration schemaβ49Updated 2 years ago
- covid-19 data in Jβ16Updated 4 years ago
- β34Updated 2 years ago
- β16Updated 5 years ago
- Source for the unisonweb.org websiteβ39Updated 2 years ago
- Generate NetHack configurations using Dhallβ37Updated 4 years ago
- IDE support for the functional logic programming language Curryβ34Updated last month
- Lambda calculus go brrrrβ30Updated 2 years ago
- Flexible, robust, and performant dependency analysis.β20Updated 4 years ago