bodil / spectre-of-free-software

Related projects: ⓘ

• deech / LeftPad
  ☆23Updated 6 years ago
• donkeybonks / burrito
  ☆25Updated this week
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• sellout / dualizer
  Delete half (minus ε) of your Haskell code!
  ☆30Updated 6 years ago
• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆24Updated 2 months ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 5 years ago
• owainlewis / fn-hs
  ☆22Updated this week
• rightfold / purescript-alkali
  Generate Halogen forms from types
  ☆11Updated 7 years ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 6 years ago
• ekmett / auth
  ☆41Updated 6 years ago
• puffnfresh / tryidris
  Try Idris
  ☆36Updated 9 years ago
• Gabriel439 / graph
  Dhall support for directed graphs with labeled vertices
  ☆19Updated 3 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• bodil / purescript-kanren
  Relational programming for PureScript
  ☆17Updated 7 years ago
• idris-hackers / idris-lens
  ☆22Updated 7 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆55Updated 6 years ago
• eelco / gdiff
  ☆34Updated 9 years ago
• rintcius / purescript-aui
  Algebraic UI's in Purescript
  ☆15Updated 3 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• pselm / core
  A Purescript implementation of Elm's `core` library
  ☆29Updated 6 years ago
• jfdm / idris-config
  Parsers for various configuration files written in Idris.
  ☆19Updated 6 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 9 years ago
• sellout / dada
  A total recursion scheme library for Dhall
  ☆65Updated 3 weeks ago
• jwiegley / logging
  ☆15Updated 2 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆16Updated last year
• chrisdone / riker
  ☆11Updated this week
• AshleyMoni / QuadTree
  QuadTree library for Haskell, using lenses.
  ☆15Updated 6 years ago
• knupfer / chronos
  Benchmarking tool with focus on comparing results.
  ☆16Updated last week
• parsonsmatt / lambda
  An exploration and implementation of the lambda calculus.
  ☆12Updated 7 years ago
• Gabriella439 / dhall-semver
  Dhall support for semantic version numbers
  ☆14Updated 3 years ago