Alternatives and similar repositories for alacarte

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

• steshaw / tdd-with-idris
  Working through Type-Driven Development with Idris
  ☆24Updated 9 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆60Updated 5 years ago
• idris-hackers / IdrisScript
  FFI Bindings to interact with the unsafe world of JavaScript
  ☆94Updated 6 years ago
• be5invis / idris-codegen-es
  Optimized JS codegen for Idris
  ☆54Updated 7 years ago
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆63Updated last year
• ZHaskell / z-io
  IO lib for haskell
  ☆99Updated last year
• ekmett / gl
  Complete raw OpenGL bindings for Haskell
  ☆92Updated 7 months ago
• bgamari / b-tree
  Haskell on-disk B* tree implementation
  ☆116Updated 3 years ago
• swr1bm86 / Ntha
  The Ntha Programming Language
  ☆91Updated 8 years ago
• ZHaskell / z-data
  array, slices and text
  ☆70Updated last year
• JaimieMurdock / HK
  HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.
  ☆23Updated 14 years ago
• fragilelambda / txmonad
  A toy xmonad
  ☆31Updated 5 years ago
• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆45Updated 11 months ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆122Updated 3 years ago
• purescript-emacs / psc-ide-emacs
  Emacs integration for PureScript's psc-ide tool.
  ☆134Updated 4 months ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆65Updated 7 years ago
• jwiegley / putting-lenses-to-work
  A presentation for BayHac 2017 on how I uses lenses at work
  ☆77Updated 2 weeks ago
• HeinrichApfelmus / frp-guides
  A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).
  ☆64Updated 4 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• politrons / Dive_into_Haskell
  Dive into Haskell: Examples of all features of this Pure Functional programing language
  ☆70Updated 2 years ago
• idris-industry / ikan
  build tool and package manager for idris,in idris,with free monads
  ☆32Updated 6 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 6 years ago
• tweag / inline-js
  Call JavaScript from Haskell, and vice versa!
  ☆135Updated last year
• puffnfresh / iridium
  xmonad with the X11 abstracted and configured with Idris
  ☆209Updated 6 years ago
• sfischer13 / awesome-eta
  Useful resources for the Eta programming language
  ☆62Updated 4 years ago
• AlexeyRaga / purescript-react-electron-example
  ☆51Updated 10 years ago
• ekmett / free
  free monads
  ☆181Updated 7 months ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago