finkel-lang / finkelLinks
Haskell in S-expression
☆176Updated 10 months ago
Alternatives and similar repositories for finkel
Users that are interested in finkel are comparing it to the libraries listed below
Sorting:
- Haskell + Lisp☆212Updated last year
- Dynamic typing in Haskell☆191Updated 6 years ago
- Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp☆120Updated 7 years ago
- The Ntha Programming Language☆91Updated 8 years ago
- Elaborate and expressive S-Expression library for Haskell☆63Updated last year
- A full implementation of the Scheme programming language for the Haskell Platform.☆315Updated last year
- A Racket package for creating and composing pure functional lenses☆79Updated 6 years ago
- ☆138Updated 3 years ago
- A remote virtual DOM library for Haskell☆142Updated 11 months ago
- Haskell bindings to FLTK GUI toolkit.☆189Updated 3 years ago
- A continuation-based backtracking logic programming monad☆92Updated 10 months ago
- An implementation of Pie in Haskell☆210Updated 5 years ago
- optics for Haskell with the most amazing type errors you've seen☆243Updated 5 years ago
- The Red Flag of Functional Programming☆105Updated 3 years ago
- Example code for how we swap compiled code within a running Haskell process.☆172Updated 7 years ago
- ☆79Updated 6 years ago
- A Haskell implementation of the Shen programming language.☆170Updated 7 years ago
- C backend for PureScript☆236Updated 4 years ago
- Emacs integration for PureScript's psc-ide tool.☆134Updated 4 months ago
- Documentation for Concur☆65Updated last year
- Simple Haskell http framework☆87Updated 6 years ago
- Collection of Idris tests and demonstration programs☆193Updated 7 years ago
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆270Updated this week
- A less devious proof assistant☆226Updated 2 years ago
- A drawing engine in Haskell☆142Updated 4 years ago
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆182Updated 7 years ago
- A lightweight, fast and unintrusive PureScript file-watcher☆138Updated last year
- The Art of the Propagator. See also:☆175Updated last year
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- Talk material for LambdaJam 2014/2015 on denotational design☆122Updated last year