ocramz / algebraic-graphs-io
I/O utilities and datasets for algebraic-graphs
☆14Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for algebraic-graphs-io
- An experimental build system based on the Haxl library☆8Updated 5 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- Linear map categories in Agda☆5Updated last year
- Funny little Haskell impl☆18Updated 4 years ago
- Haskell bindings to Chez Scheme☆10Updated last year
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- Convert data to and from a natural number representation☆13Updated 3 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Sift through Haskell code for analysis purposes☆18Updated 6 years ago
- Typeclass for array types☆19Updated 6 months ago
- Staged Streams and other stuff☆18Updated 2 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆13Updated 5 years ago
- Programmatically create new instances using core-to-core plugins☆12Updated 3 years ago
- Port "Software Foundations" to LiquidHaskell☆11Updated 4 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 2 years ago
- ☆16Updated 2 years ago
- Bring fusion to everyone☆13Updated 4 years ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆19Updated 7 months ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 5 years ago
- Example usage of the Haskell C FFI with hsc2hs☆11Updated 6 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 4 years ago
- A usable type system for call by push-value☆28Updated 4 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- half-precision floating-point☆14Updated 3 weeks ago
- Deriving Storable instances using GHC.Generics☆15Updated 2 years ago
- ☆23Updated 7 years ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago