Alternatives and similar repositories for icfpc2024

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

• andrejbauer / coop
  A prototype programming language for programming with runners
  ☆91Updated 4 years ago
• fumieval / objective
  Purely functional objects
  ☆73Updated 3 years ago
• cmcl / frankjnr
  Another implementation of Frank.
  ☆70Updated 8 years ago
• xgrommx / idris-ecosystem
  ☆49Updated 7 years ago
• snowleopard / selective
  Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆210Updated last month
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆145Updated 11 months ago
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆161Updated 4 years ago
• i-am-tom / LICK
  Idris-written, correct-by-construction, simply-typed lambda calculus.
  ☆39Updated 7 years ago
• idris-hackers / atom-language-idris
  A Idris Mode for Atom.io
  ☆102Updated last year
• konn / type-natural
  Type-level well-kinded natural numbers.
  ☆34Updated 8 months ago
• ollef / rock
  Build system
  ☆128Updated last year
• swr1bm86 / vscode-idris
  Idris for Visual Studio Code
  ☆107Updated 3 years ago
• BekaValentine / SimpleFP-v2
  A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS
  ☆109Updated 8 years ago
• KingoftheHomeless / in-other-words
  A higher-order effect system where the sky's the limit
  ☆91Updated 3 years ago
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆122Updated 2 months ago
• rudymatela / fitspec
  refine properties for testing Haskell programs
  ☆74Updated 7 months ago
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆82Updated last year
• ekmett / cadenza
  every day i'm truffling
  ☆70Updated 4 years ago
• myuon / ghc-compiler-notes
  A collection of Notes on GHC
  ☆71Updated 6 years ago
• composewell / streaming-benchmarks
  Benchmarks to compare Haskell streaming library performance
  ☆106Updated 2 weeks ago
• fumieval / winery
  Preservative serialisation format
  ☆92Updated 10 months ago
• nikita-volkov / refined
  Refinement types with static checking
  ☆187Updated 9 months ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆147Updated 10 years ago
• Happstack / plugins-ng
  dynamic recompilation and loading of code. A replacement for the old plugins library but now based around the GHC API.
  ☆16Updated 8 years ago
• clayrat / sequent-calc
  Experiments with sequent calculi
  ☆28Updated 4 years ago
• HeinrichApfelmus / operational
  Implement monads by specifying instructions and their desired operational semantics.
  ☆85Updated last year
• haskell-perf / dictionaries
  Benchmarks for dictionary data structures: hash tables, maps, tries, etc.
  ☆97Updated 3 years ago
• JetBrains / arend-lib
  ☆83Updated 6 months ago
• nomeata / ghc-justdoit
  A magic typeclass that just does it
  ☆124Updated 3 years ago
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆197Updated 4 years ago