PerplexSystems / commandryLinks
A command-line parser for Standard ML
☆20Updated 2 weeks ago
Alternatives and similar repositories for commandry
Users that are interested in commandry are comparing it to the libraries listed below
Sorting:
- Fast, CommonMark-compliant Markdown parser written in Racket☆35Updated last year
- ☆22Updated 5 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 6 years ago
- A Haskell-like language for scripting and web apps☆14Updated last year
- a self-hosting lambda calculus compiler☆37Updated 9 months ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- ☆19Updated 2 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12Updated last year
- A small NuPRL style proof assistant☆31Updated 6 years ago
- ☆47Updated 8 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 12 years ago
- ☆35Updated 6 years ago
- #lang for writing C code☆15Updated 8 years ago
- An implementation of Haskell’s MVars in Racket☆30Updated last year
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16Updated 7 months ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- The Functional Virtual Machine.☆14Updated last year
- Implementation of local and remote loci for Racket☆12Updated 5 years ago
- An idris backend compiling to chez scheme☆48Updated 8 years ago
- An experimental language server for SomewhatML☆24Updated 3 years ago
- Matita (proof assistant) with embedded elpi☆15Updated 7 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆26Updated 11 years ago
- A column-oriented, dataframe implementation for Racket.☆17Updated 9 months ago
- Miscellaneous Racket utilities lacking a better home☆13Updated 3 months ago
- ☆12Updated 2 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- Adds syntax to racket languages☆11Updated 3 years ago
- A 2D RPG implemented in the Rhombus Racket dialect☆57Updated 2 years ago
- A Dependently Typed Esolang☆10Updated 8 years ago