liamoc / patches-vector

Related projects ⓘ

Alternatives and complementary repositories for patches-vector

• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 8 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆37Updated 7 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 7 months ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆32Updated 2 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 5 years ago
• tweag / ghc
  Fork of official GHC repository.
  ☆44Updated 9 months ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆88Updated 3 years ago
• yav / type-nat-solver
  A plugin for solving numeric constraints in GHC's type-checker
  ☆50Updated 3 years ago
• chrisdone-archive / descriptive
  Self-describing consumers/parsers
  ☆42Updated 6 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆91Updated 2 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆104Updated 8 years ago
• edsko / ghc-dump-tree
  Dump GHC's abstract syntax trees
  ☆41Updated 2 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆95Updated 7 years ago
• UnkindPartition / monad-classes
  A more flexible mtl
  ☆64Updated 6 years ago
• sinelaw / fresh
  ☆14Updated 6 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 5 months ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆57Updated 8 years ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 6 years ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated last year
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆92Updated 6 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆45Updated 6 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 6 years ago
• rampion / kinder-functor
  An alternate definition of Haskell's Functor typeclass
  ☆42Updated 5 years ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 7 years ago
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 7 years ago
• agocorona / Workflow
  re-startable monad that recover the execution state from a log, and workflow patterns
  ☆43Updated 8 years ago