haskell-lisp / lisk
Exploratory new work on a Haskell Lisp
☆16Updated 8 years ago
Alternatives and similar repositories for lisk:
Users that are interested in lisk are comparing it to the libraries listed below
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- S-expression-based syntax alternative for Haskell.☆21Updated 11 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 10 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- Indentation-based Racket Syntax☆37Updated 3 years ago
- My haskell-mode configuration for Emacs☆19Updated 2 years ago
- ☆12Updated 9 years ago
- ☆15Updated 8 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- ☆127Updated 11 months ago
- Deprecated. Use https://github.com/lexi-lambda/racket-collections instead.☆12Updated last year
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Generic collections API for Racket☆52Updated 2 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 4 months ago
- Terminal emulator in racket☆41Updated last year
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 8 years ago
- Invertible parsing for S-expressions☆34Updated 5 months ago
- Curses bindings package for Idris☆13Updated 6 years ago
- remix - a revised version of Racket☆33Updated 2 years ago
- ☆57Updated 7 years ago
- A small Haskell server for generating visual stories based on some ascertainable data about the requester.☆57Updated 12 years ago
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- Lazy sequence library for Emacs.☆31Updated 8 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago