GaloisInc / argo

Related projects: ⓘ

• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 5 months ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 3 months ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆23Updated last month
• haskell / deepseq
  Deep evaluation of data structures
  ☆40Updated last week
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• ndmitchell / profiterole
  GHC prof manipulation script
  ☆30Updated 7 months ago
• nikita-volkov / base-prelude
  The most complete prelude formed only from the "base" package
  ☆28Updated 11 months ago
• ekmett / rounded
  MPFR bindings for Haskell
  ☆33Updated 11 months ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 3 months ago
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 4 years ago
• rudymatela / leancheck
  enumerative property-based testing for Haskell
  ☆52Updated 3 weeks ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated 2 weeks ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated last month
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 6 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 3 months ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 4 years ago
• jaspervdj / blaze-markup
  Core modules for a blazing fast markup combinator library
  ☆20Updated 2 months ago
• ekmett / heaps
  Asymptotically optimal Brodal/Okasaki heaps
  ☆29Updated last year
• dreixel / generic-deriving
  ☆44Updated 6 months ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆19Updated last month
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆29Updated 4 months ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆41Updated 2 weeks ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 4 months ago
• fosskers / versions
  Haskell types and parsers for software version numbers.
  ☆20Updated 3 months ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 2 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 4 years ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆24Updated 5 years ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 4 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆27Updated 3 months ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆37Updated 7 years ago