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 8 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• be5invis / idris-codegen-es
  Optimized JS codegen for Idris
  ☆54Updated 6 years ago
• gspindles / Papers
  A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics
  ☆79Updated 8 years ago
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆62Updated last year
• bgamari / b-tree
  Haskell on-disk B* tree implementation
  ☆116Updated 3 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆46Updated 13 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆59Updated 5 years ago
• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆45Updated 9 months ago
• JaimieMurdock / HK
  HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.
  ☆22Updated 13 years ago
• mflatt / plai-typed
  ☆51Updated 2 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• swr1bm86 / Ntha
  The Ntha Programming Language
  ☆91Updated 8 years ago
• idris-hackers / IdrisScript
  FFI Bindings to interact with the unsafe world of JavaScript
  ☆93Updated 6 years ago
• idris-industry / ikan
  build tool and package manager for idris,in idris,with free monads
  ☆32Updated 6 years ago
• puffnfresh / iridium
  xmonad with the X11 abstracted and configured with Idris
  ☆209Updated 6 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• ZHaskell / z-io
  IO lib for haskell
  ☆99Updated last year
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 6 years ago
• DataHaskell / awesome-haskell-ml
  📚 - Resources for Machine Learning and Haskell
  ☆21Updated 7 years ago
• pigworker / CS410-14
  being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  ☆71Updated 10 years ago
• jaseemabid / lisper
  A tiny scheme interpreter in Haskell
  ☆24Updated 6 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆65Updated 6 years ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆96Updated 2 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆122Updated 3 years ago
• chrisdone-archive / haskell-style-guide
  ☆94Updated 9 years ago
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆73Updated 7 years ago
• wyager / HaSKI
  Cλash/Haskell FPGA-based SKI calculus evaluator
  ☆49Updated 9 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago