oswald2 / AURIS
A new, open source mission control system in Haskell
☆62Updated 9 months ago
Alternatives and similar repositories for AURIS
Users that are interested in AURIS are comparing it to the libraries listed below
Sorting:
- Strategy game in Haskell (PRs: )☆51Updated 5 years ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated last year
- Haskell Functional Reactive Programming framework with type-level clocks☆129Updated last week
- Interpret Haskell programs into any cartesian closed category.☆60Updated 4 months ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated 3 weeks ago
- A work stealing scheduler☆75Updated 4 months ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- Haskell library for semigroup actions and torsors☆62Updated 3 months ago
- A Haskell library for open records and variants using closed type families and type literals☆112Updated 2 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated last year
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated 11 months ago
- Benchmarks to compare Haskell streaming library performance☆103Updated 5 months ago
- ☆101Updated 3 weeks ago
- Haskell-C++ Foreign Function Interface Generator☆143Updated last year
- Haskell to C compiler via Categorifier☆32Updated last year
- A simple Idris program to blink the LED on an Arduino☆58Updated 3 years ago
- Set breakpoints using a GHC plugin☆49Updated 11 months ago
- ☆98Updated last week
- 📊 Haskell dependencies build times profiler☆73Updated 2 years ago
- Generate Haskell client code from an OpenAPI 3 specification☆50Updated last month
- Create Vega-Lite visualizations from Haskell.☆55Updated 2 months ago
- A collection of Haskell's WATs☆92Updated 3 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆94Updated last month
- Effects libraries in Haskell☆71Updated last year
- Hypertypes - generic programming for heterogeneous recursive types☆121Updated 4 months ago
- ☆45Updated last month
- Haskell bindings to ArrayFire☆60Updated 5 months ago
- First-class type families☆87Updated 2 weeks ago
- Fine-grained lattice primitives for Haskell☆37Updated last week
- Experimental, user-contributed effects and interpreters for polysemy☆72Updated last year