oswald2 / AURIS
A new, open source mission control system in Haskell
β56Updated 5 months ago
Alternatives and similar repositories for AURIS:
Users that are interested in AURIS are comparing it to the libraries listed below
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.β81Updated 2 weeks ago
- π Profunctor based lightweight implementation of Lensesβ71Updated last year
- Fine-grained lattice primitives for Haskellβ35Updated 2 weeks ago
- A handy user guide for the Cabal build toolβ27Updated 3 years ago
- Generates a references DB from .hie filesβ63Updated 6 months ago
- Proposals for the Haskell Ecosystemβ51Updated 6 years ago
- π Haskell dependencies build times profilerβ74Updated 2 years ago
- The Haskell Foundation website, hosted by GitHub Pages.β40Updated this week
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.β42Updated 2 months ago
- β33Updated 8 months ago
- A tool suite to aid Haskell development using `cabal-install`β83Updated last month
- β51Updated 2 years ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.β76Updated last year
- constraint level if statementsβ110Updated 7 years ago
- β35Updated this week
- Hypertypes - generic programming for heterogeneous recursive typesβ119Updated this week
- A Haskell library for open records and variants using closed type families and type literalsβ112Updated 2 years ago
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.β26Updated last year
- A simple Idris program to blink the LED on an Arduinoβ57Updated 3 years ago
- Fast parsing from bytestringsβ154Updated 2 weeks ago
- A Haskell implementation of JSON Web Token (JWT)β36Updated 11 months ago
- β‘οΈEfficient implementation of Map with types as keysβ101Updated last year
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.β88Updated 5 months ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programmingβ44Updated 4 years ago
- Measure allocations of a Haskell functions/valuesβ93Updated 2 months ago
- experimenting with unlifted classes via backpackβ36Updated 2 years ago
- The theory of algebraic graphs formalised in Agdaβ89Updated 6 years ago
- Generic random generatorsβ81Updated last year
- Set breakpoints using a GHC pluginβ47Updated 7 months ago
- Example on how to integrate Haskell and C++ library.β13Updated 9 years ago