finkel-lang / finkel
Haskell in S-expression
☆171Updated last month
Related projects: ⓘ
- Haskell + Lisp☆205Updated 4 months ago
- Dynamic typing in Haskell☆192Updated 5 years ago
- Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp☆117Updated 6 years ago
- ☆389Updated 6 months ago
- Haskell/Java interop via inline Java code in Haskell modules.☆229Updated 9 months ago
- An implementation of Pie in Haskell☆204Updated 4 years ago
- optics for Haskell with the most amazing type errors you've seen☆243Updated 4 years ago
- The Ntha Programming Language☆93Updated 7 years ago
- ☆76Updated 5 years ago
- A Racket package for creating and composing pure functional lenses☆74Updated 5 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆211Updated last year
- Add ACID guarantees to any serializable Haskell data structure☆291Updated 4 months ago
- Haskell bindings to FLTK GUI toolkit.☆190Updated 2 years ago
- Collection of Idris tests and demonstration programs☆189Updated 6 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 3 years ago
- Test monadic programs using state machine based models☆203Updated 3 years ago
- Server-side VDOM UI framework for Concur☆139Updated 3 years ago
- Language independent type-safe communication☆133Updated 6 years ago
- A less devious proof assistant☆220Updated last year
- an implementation of stuck macros☆130Updated 3 weeks ago
- A friendly effect system for Haskell☆226Updated 4 months ago
- Community curated list of companies that use Purescript☆137Updated 8 months ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆308Updated 10 months ago
- Simple Haskell http framework☆87Updated 5 years ago
- Easy PureScript (and other tools) with Nix☆193Updated 6 months ago
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆268Updated 2 months ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆77Updated 2 years ago
- Build terminal applications using functional reactive programming (FRP) with Reflex FRP.☆140Updated 3 months ago
- Structured editing minor mode for Haskell in Emacs☆542Updated 5 years ago
- ☆133Updated 2 years ago