irori / hs2lazyLinks
Haskell -> Lazy K translator.
☆13Updated 11 years ago
Alternatives and similar repositories for hs2lazy
Users that are interested in hs2lazy are comparing it to the libraries listed below
Sorting:
- Updated LazyK source distribution☆19Updated 2 months ago
- Template Haskell Implementation of Egison Pattern Matching☆33Updated 5 years ago
- A Lisp implementation in which a lot of language features are self-definable.☆18Updated 6 years ago
- C Compiler written in TeX☆43Updated 9 years ago
- Multi-core suitable Forth-like language☆37Updated 10 months ago
- Lazy K interpreter☆31Updated last year
- Unlambda interpreter☆11Updated last year
- A lazy non-deterministic concatenative programming language☆55Updated 12 years ago
- code-golf-oriented esoteric programming language☆45Updated 7 years ago
- self-hosted compiler for a subset of OCaml☆51Updated 6 years ago
- Type-safe transformations and purifications of PreCures (Japanese battle heroine)☆23Updated last month
- golf server☆49Updated 8 months ago
- A self-reproducing program that shapes the station names of Yamanote Line☆46Updated 5 years ago
- Minimal Haskell Compiler☆63Updated 7 years ago
- The Parser Generator for Haskell☆94Updated 10 years ago
- SoftwareFoundations(Ja)☆70Updated 6 years ago
- Befunge-93 interpreter written in Python with a debugger☆19Updated 8 years ago
- 2-D arcade scroller☆59Updated 8 years ago
- A Dependently Typed Esolang☆10Updated 8 years ago
- Type inference in OCaml☆40Updated 10 years ago
- concise functionless functional esolang☆14Updated last week
- A self hosted whitespace compiler☆32Updated 5 years ago
- Haskell x Android☆25Updated 3 years ago
- Easy and standardized docker images for 200+ esoteric (and non-esoteric) languages.☆76Updated last year
- An attempt to build axiomatic, formal set theory on top of Scala.☆37Updated 2 years ago
- Purely functional objects☆73Updated 4 years ago
- A Whitespace-Based Dependently Typed Functional Programming Language☆16Updated 8 years ago
- 二重振り子シミュレーション☆41Updated 8 years ago
- (maybe yet another) programming language inspired by PPAP☆66Updated 8 years ago
- A purely functional programming language based on higher-order polymorphic lambda calculus☆22Updated 2 years ago