Alternatives and similar repositories for finkel

Users that are interested in finkel are comparing it to the libraries listed below

• axellang / axel
  Haskell + Lisp
  ☆213Updated last year
• ptol / oczor
  Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
  ☆120Updated 8 years ago
• chrisdone-archive / dynamic
  Dynamic typing in Haskell
  ☆191Updated 6 years ago
• swr1bm86 / Ntha
  The Ntha Programming Language
  ☆91Updated 8 years ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• jackfirth / lens
  A Racket package for creating and composing pure functional lenses
  ☆79Updated 6 years ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• pkamenarsky / replica
  A remote virtual DOM library for Haskell
  ☆142Updated 11 months ago
• jarcane / red-flag-of-fp
  The Red Flag of Functional Programming
  ☆105Updated 4 years ago
• deech / fltkhs
  Haskell bindings to FLTK GUI toolkit.
  ☆189Updated 3 years ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆136Updated 4 months ago
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆63Updated last year
• justinethier / husk-scheme
  A full implementation of the Scheme programming language for the Haskell Platform.
  ☆315Updated last year
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆170Updated 7 years ago
• latte-central / LaTTe
  LaTTe : a Laboratory for Type Theory experiments (in clojure)
  ☆262Updated 7 months ago
• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆92Updated 11 months ago
• purescript-emacs / psc-ide-emacs
  Emacs integration for PureScript's psc-ide tool.
  ☆132Updated 5 months ago
• gelisam / klister
  an implementation of stuck macros
  ☆146Updated last month
• utkarshkukreti / purescript-hedwig
  Hedwig is a fast, type safe, declarative PureScript library for building web applications.
  ☆130Updated 5 years ago
• idris-hackers / idris-mode
  Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆271Updated 3 weeks ago
• conal / talk-2014-lambdajam-denotational-design
  Talk material for LambdaJam 2014/2015 on denotational design
  ☆122Updated last year
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆211Updated 5 years ago
• wilbowma / cur
  A less devious proof assistant
  ☆226Updated 2 years ago
• transient-haskell / transient-stack
  All the Transient libraries
  ☆42Updated 2 months ago
• ajnsit / concur-documentation
  Documentation for Concur
  ☆65Updated last year
• kritzcreek / pscid
  A lightweight, fast and unintrusive PureScript file-watcher
  ☆138Updated last year
• joelchelliah / simple-repl-in-haskell
  How to make you very own REPL in Haskell
  ☆30Updated 8 years ago
• pure-c / purec
  C backend for PureScript
  ☆236Updated 4 years ago
• Mushy-pea / Game-Dangerous
  A 3D game engine written in Haskell and OpenGL Shading Language. The goal is to make a 3D tribute to ZZT, including a game creation syst…
  ☆47Updated 2 months ago
• idris-hackers / idris-demos
  Collection of Idris tests and demonstration programs
  ☆193Updated 7 years ago