finkel-lang / finkelLinks
Haskell in S-expression
☆176Updated 9 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☆209Updated 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
- A Racket package for creating and composing pure functional lenses☆77Updated 5 years ago
- ☆138Updated 3 years ago
- ☆79Updated 6 years ago
- Elaborate and expressive S-Expression library for Haskell☆62Updated last year
- A remote virtual DOM library for Haskell☆141Updated 9 months ago
- Emacs integration for PureScript's psc-ide tool.☆133Updated 3 months ago
- An implementation of Pie in Haskell☆209Updated 5 years ago
- Simple Haskell http framework☆87Updated 6 years ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆315Updated last year
- optics for Haskell with the most amazing type errors you've seen☆243Updated 5 years ago
- A continuation-based backtracking logic programming monad☆91Updated 9 months ago
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- Hedwig is a fast, type safe, declarative PureScript library for building web applications.☆130Updated 5 years ago
- Talk material for LambdaJam 2014/2015 on denotational design☆122Updated last year
- Documentation for Concur☆65Updated last year
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆269Updated 4 months ago
- an implementation of stuck macros☆145Updated 2 weeks ago
- A Haskell implementation of the Shen programming language.☆170Updated 7 years ago
- Haskell bindings to FLTK GUI toolkit.☆191Updated 3 years ago
- Implementing Quake 3 in Haskell & Vulkan☆165Updated 5 years ago
- Collection of Idris tests and demonstration programs☆193Updated 7 years ago
- The Art of the Propagator. See also:☆174Updated last year
- 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 language experiment -- irc.freenode.net ##coda☆164Updated last year
- The Red Flag of Functional Programming☆105Updated 3 years ago
- All the Transient libraries☆41Updated 4 months ago