grin-compiler / ext-stg-interpreter-presentation-demos
☆16Updated 3 years ago
Alternatives and similar repositories for ext-stg-interpreter-presentation-demos:
Users that are interested in ext-stg-interpreter-presentation-demos are comparing it to the libraries listed below
- Funny little Haskell impl☆18Updated 4 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 2 months ago
- Clean up the formatting of 'show' output☆21Updated 8 months ago
- Haskell counters that can be safely incremented from multiple threads☆19Updated 4 months ago
- Non-empty Vectors☆24Updated 2 weeks ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Updated 2 months ago
- Automation for releasing haskell packages☆18Updated last year
- Types for ldtk☆15Updated last year
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Session Types with Priority in Linear Haskell☆26Updated 10 months ago
- Memory-efficient representation of Unicode text strings☆22Updated 4 months ago
- Existential type.☆37Updated 4 months ago
- ☆18Updated 4 years ago
- Experimental fork of ghcide which is reimplemented using the FRP library reflex☆17Updated 3 years ago
- A library for benign effects in Haskell☆20Updated 2 months ago
- An efficient finite map from (byte)strings to values.☆20Updated this week
- Overloaded plugin☆30Updated 10 months ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 2 months ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- Parse bytes fast☆24Updated last year
- ☆10Updated last year
- Boring and Absurd types☆17Updated 4 months ago
- Flexible Haskell library for parsing and printing S-Expressions☆20Updated 6 months ago
- Convert stack projects to cabal.project + cabal.project.freeze☆25Updated last year
- Typeclass for array types☆19Updated 3 weeks ago
- GHC plugin to desugar ! into do-notation☆37Updated 2 months ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 4 years ago
- Linear map categories in Agda☆5Updated 2 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Automatic type class law checking.☆24Updated 3 months ago