timo / ADT
Algebraic Data Types for perl6, inspired by Haskell
☆12Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for ADT
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- The package manager for Cyclone Scheme.☆29Updated 9 months ago
- OCaml back end for Idris☆22Updated 6 years ago
- Linenoise bindings for Raku☆15Updated 2 years ago
- Useful resources for Raku (formerly known as Perl 6) programmers☆30Updated last year
- Exploratory new work on a Haskell Lisp☆16Updated 8 years ago
- A tidier/formatter for Perl 6 code☆23Updated 4 years ago
- an implementation of a microKanren(-like language) in miniKanren☆25Updated 10 years ago
- ☆40Updated 3 weeks ago
- Grammar::Debugger and Grammer::Tracer Perl 6 modules☆36Updated 5 years ago
- APL function editor written in APL☆13Updated 2 weeks ago
- Programming language designed as an experiment to explore mutation and aliasing control☆32Updated 4 years ago
- adds an optional type system to J language☆21Updated 8 years ago
- Glyphs - Reducing Common Lisp verbosity☆29Updated 6 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- ☆15Updated 8 years ago
- Indentation-based Racket Syntax☆37Updated 3 years ago
- Geneva: portable document preparation system☆9Updated 8 years ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- Type expanders (i.e. type-level functions) for Typed/Racket☆17Updated 3 years ago
- The MLtonLibrary repository☆34Updated last year
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- System POSIX bindings for Idris.☆36Updated 5 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆47Updated 4 years ago
- Emacs major mode for Perl 6☆36Updated 4 years ago
- Haskell Semantics with Lisp Syntax☆66Updated 10 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 9 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- An implementation of microKanren in Shen☆9Updated 9 years ago