cdparks / mini-core

Related projects ⓘ

Alternatives and complementary repositories for mini-core

• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆26Updated 3 months ago
• batterseapower / parallel-io
  Haskell combinators for executing IO actions in parallel on a thread pool
  ☆47Updated last year
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• haskell-suite / haskell-names
  Haskell suite library for name resolution
  ☆52Updated last year
• ocharles / hsfmt
  A Haskell code formatter using prettyprinter and the GHC API
  ☆24Updated 6 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 6 months ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆48Updated last year
• jwiegley / linearscan
  ☆17Updated 2 years ago
• Gabriella439 / haskell-in-the-large
  A book about large-scale design in Haskell
  ☆75Updated 10 years ago
• mitchellwrosen / dohaskell
  Tagged Haskell learning resources index
  ☆22Updated 8 years ago
• kellino / microML
  a simple functional language for learners
  ☆30Updated 7 years ago
• sdiehl / datetime
  Financial datetimes and holiday recurrence rules
  ☆18Updated 4 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆23Updated 2 months ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 5 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆33Updated last month
• shayan-najd / MiniFeldspar
  ☆23Updated 9 years ago
• edsko / ghc-dump-tree
  Dump GHC's abstract syntax trees
  ☆41Updated 2 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• danidiaz / streamy
  Using Backpack to abstract over the main Haskell streaming libraries.
  ☆34Updated 7 years ago
• eelco / gdiff
  ☆34Updated 9 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆44Updated 7 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 7 years ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 6 years ago
• ekmett / concurrent-supply
  A fast globally unique variable supply with a pure API
  ☆16Updated last year
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 2 years ago