icfpcontest2024 / icfpc2024

Related projects ⓘ

Alternatives and complementary repositories for icfpc2024

• fumieval / Haskell-breaking-changes
  ☆89Updated 3 years ago
• tomjaguarpaw / bluefin
  ☆73Updated this week
• haskell / core-libraries-committee
  ☆95Updated this week
• fumieval / objective
  Purely functional objects
  ☆73Updated 3 years ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 3 years ago
• andrejbauer / coop
  A prototype programming language for programming with runners
  ☆88Updated 3 years ago
• xgrommx / idris-ecosystem
  ☆47Updated 6 years ago
• myuon / ghc-compiler-notes
  A collection of Notes on GHC
  ☆70Updated 5 years ago
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆88Updated 3 months ago
• sayo-hs / heftia
  higher-order algebraic effects done right for Haskell
  ☆72Updated this week
• idris-hackers / atom-language-idris
  A Idris Mode for Atom.io
  ☆100Updated 3 months ago
• lotz84 / recursion-algorithms
  a collection of various algorithms written using recursion schemes
  ☆21Updated 2 years ago
• uemurax / hott-ja
  HoTT in Japanese
  ☆33Updated last year
• agda / agda-language-server
  Language Server for Agda
  ☆102Updated 2 weeks ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆27Updated last month
• ekmett / cadenza
  every day i'm truffling
  ☆67Updated 3 years ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆79Updated 3 weeks ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆57Updated 5 years ago
• i-am-tom / LICK
  Idris-written, correct-by-construction, simply-typed lambda calculus.
  ☆39Updated 6 years ago
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆149Updated last week
• DoctorRyner / sae
  An Idris 2 build tool and a package manager
  ☆28Updated last year
• grin-compiler / ghc-whole-program-compiler-project
  GHC Whole Program Compiler and External STG IR tooling
  ☆116Updated last week
• deepflowinc / guardian
  guardian - the border guardian for your Haskell monorepo package dependencies
  ☆36Updated 2 months ago
• nikita-volkov / refined
  Refinement types with static checking
  ☆182Updated this week
• stackbuilders / hspec-golden
  Golden tests with Hspec
  ☆26Updated last month
• BebeSparkelSparkel / biparsing
  Bidirectional Parsing. Work in Progress
  ☆30Updated last month
• meraymond2 / idris-vscode
  Idris front-end for VS Code
  ☆59Updated last year
• kowainik / issue-wanted
  🏷 Web application to help beginners to start contributing into Haskell projects
  ☆59Updated 4 years ago
• bkomuves / toy-language-server
  Example language server (LSP) implementation for a toy language
  ☆60Updated 3 years ago
• pepeiborra / hls-tutorial
  A tutorial on writing Haskell Language Server plugins
  ☆70Updated 4 years ago