jwiegley / dsss17

Related projects: ⓘ

• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆33Updated last week
• shlevy / cat-fiat
  An attempt to formalize unix cat in fiat
  ☆12Updated 7 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated last month
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 2 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 8 years ago
• deech / LeftPad
  ☆23Updated 6 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 6 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 4 years ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 3 months ago
• nikita-volkov / base-prelude
  The most complete prelude formed only from the "base" package
  ☆28Updated 11 months ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• david-christiansen / idris-code-highlighter
  A semantic highlighter for Idris code
  ☆14Updated 6 years ago
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago
• lucch / pesca
  pesca: Proof Editor for Sequent Calculus (mirror)
  ☆10Updated 7 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 3 months ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 3 months ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆27Updated 3 months ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆35Updated 5 years ago
• benjaminselfridge / logix
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆20Updated 2 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 3 years ago
• nikita-volkov / vector-builder
  Vector builder
  ☆15Updated 9 months ago
• isovector / containers-good-graph
  It's Data.Graph, but it doesn't suck!
  ☆16Updated 3 years ago
• yobson / jhc-components
  JHC Haskell compiler split into reusable components
  ☆16Updated 2 years ago
• wrengr / bytestring-trie
  An efficient finite map from (byte)strings to values.
  ☆19Updated 2 weeks ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 2 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 5 years ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆32Updated 5 years ago