jaseemabid / lisperLinks
A tiny scheme interpreter in Haskell
☆24Updated 6 years ago
Alternatives and similar repositories for lisper
Users that are interested in lisper are comparing it to the libraries listed below
Sorting:
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated last year
- ☆41Updated 8 years ago
- ☆23Updated 8 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Elaborate and expressive S-Expression library for Haskell☆63Updated last year
- A port of Apache Sparks to Haskell using distributed process☆33Updated 9 years ago
- a simple functional language for learners☆30Updated 8 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- Morte IDE☆29Updated 6 months ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Build tool for ATS.☆42Updated 3 years ago
- NES programming in Haskell? No way!☆39Updated 9 years ago
- Write yourself a typed functional language☆65Updated 7 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Updated last year
- A general purpose programming language with linear types☆43Updated 8 years ago
- ☆21Updated 8 years ago
- ☆40Updated 7 years ago
- An implementation of the Core language☆30Updated 10 years ago
- Examples for the book “Alex and Happy”☆34Updated 10 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- A simple, purely-functional programming language☆25Updated 3 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Dive into GHC☆82Updated 8 years ago
- Paris Functional Programming Meetup☆27Updated 5 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 7 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 10 years ago