alexfmpe / semantic-satiation

Related projects ⓘ

Alternatives and complementary repositories for semantic-satiation

• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated 2 years ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 5 months ago
• phadej / staged
  Staged Streams and other stuff
  ☆18Updated 2 years ago
• rampion / tree-traversals
  Functions and newtype wrappers for traversing Trees
  ☆30Updated 2 months ago
• augustss / orthotope
  ☆25Updated 5 months ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• rampion / conkin
  Tools for functors from Hask^k to Hask
  ☆23Updated 5 years ago
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated 11 months ago
• SamuelSchlesinger / stm-incremental
  A very simple interface for incremental computation using STM in Haskell.
  ☆13Updated last year
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆14Updated 2 months ago
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆25Updated 5 months ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• sweirich / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆28Updated 3 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• isovector / ldtk-types
  Types for ldtk
  ☆14Updated 7 months ago
• emilypi / nonempty-vector
  Non-empty Vectors
  ☆24Updated 6 months ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 2 years ago
• LightAndLight / parametricity-proofs
  Proofs of the number of inhabitants of polymorphic functions
  ☆23Updated 6 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• thma / generic-persistence
  GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …
  ☆10Updated this week
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 6 years ago
• nomeata / haskell-rec-def
  APIs for more recursive definitions
  ☆19Updated 3 weeks ago
• nachivpn / nbe-edsl
  Normalization by Evaluation for Embedded Domain-specific Languages
  ☆31Updated 3 weeks ago
• ekmett / parsnip
  ☆18Updated 3 years ago
• isovector / containers-good-graph
  It's Data.Graph, but it doesn't suck!
  ☆16Updated 3 years ago
• ChrisPenner / recursive-zipper
  Zippers for cofree types
  ☆12Updated 2 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 3 weeks ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated last year
• bolt12 / tymfgg-pearl
  Type Your Matrices For Great Good
  ☆29Updated 4 years ago
• solomon-b / HowardLang
  An interpreted lambda calculus with Algebraic and Recursive Types.
  ☆18Updated 3 years ago