mcschroeder / ctrie

Related projects ⓘ

Alternatives and complementary repositories for ctrie

• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 5 months ago
• Gabriella439 / Haskell-MMorph-Library
  Monad morphisms
  ☆47Updated 2 years ago
• dreixel / syb
  Scrap Your Boilerplate generic programming library in Haskell
  ☆44Updated last year
• mainland / language-c-quote
  ☆58Updated 4 months ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 3 weeks ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆23Updated 3 months ago
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 6 years ago
• elsen-trading / pgstream
  Binary streaming library for Postgres data pipelines
  ☆18Updated 5 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated this week
• tathougies / generic-lens
  Automatically make lenses from data structures implementing Generic
  ☆26Updated 9 years ago
• corsis / clock
  High-resolution clock functions: monotonic, realtime, cputime.
  ☆58Updated last year
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆48Updated last year
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 5 years ago
• ku-fpg / hood
  Hood debugger, based on the idea of observing functions and structures as they are evaluated.
  ☆18Updated 6 years ago
• acid-state / safecopy
  An extension to Data.Serialize with built-in version control
  ☆60Updated 6 months ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• haskell-distributed / distributed-static
  Support for static values
  ☆22Updated 2 months ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆39Updated last year
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• haskell / base64-bytestring
  Fast base64 encoding and decoding for Haskell.
  ☆45Updated last year
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• ekmett / tagged
  phantom types
  ☆37Updated 2 months ago
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated last year
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 3 weeks ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 3 years ago
• Gabriella439 / Haskell-Pipes-Safe-Library
  Safety for the pipes ecosystem
  ☆26Updated 3 months ago
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 6 years ago