Alternatives and similar repositories for OpenhackC4H:

Users that are interested in OpenhackC4H are comparing it to the libraries listed below

• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆692Updated last week
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆360Updated last month
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆598Updated this week
• lehins / massiv
  Efficient Haskell Arrays featuring Parallel computation
  ☆385Updated 2 weeks ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated last year
• agda / cubical
  An experimental library for Cubical Agda
  ☆467Updated 3 weeks ago
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆199Updated 3 years ago
• snowleopard / alga
  Algebraic graphs
  ☆728Updated 8 months ago
• pikelet-lang / pikelet
  A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
  ☆615Updated 3 years ago
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆33Updated 3 years ago
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆628Updated this week
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• ChrisPenner / wc
  Beating unix `wc` in Haskell
  ☆136Updated 3 years ago
• haskell / alex
  A lexical analyser generator for Haskell
  ☆301Updated last month
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆144Updated 3 months ago
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆506Updated 7 months ago
• haskell / haddock
  Haskell Documentation Tool
  ☆361Updated 7 months ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆290Updated 11 months ago
• llvm-hs / llvm-hs
  Haskell bindings for LLVM
  ☆514Updated 6 months ago
• agda / agda-stdlib
  The Agda standard library
  ☆600Updated this week
• coq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆510Updated 5 months ago
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆144Updated 3 years ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆342Updated last month
• agda / agda-categories
  A new Categories library for Agda
  ☆374Updated this week
• haskell / attoparsec
  A fast Haskell library for parsing ByteStrings
  ☆516Updated last month
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆338Updated 2 months ago
• recursion-ninja / CSCI-499-2021-Fall
  CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course
  ☆28Updated 3 years ago
• haskell-CI / haskell-ci
  Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations
  ☆440Updated 2 weeks ago
• dpndnt / library
  Library of the ##dependent distributed research support group
  ☆112Updated 6 months ago
• MetaCoq / metacoq
  Metaprogramming, verified meta-theory and implementation of Coq in Coq
  ☆412Updated this week