SamuelSchlesinger / AutomataTheoryLinks
☆21Updated 4 years ago
Alternatives and similar repositories for AutomataTheory
Users that are interested in AutomataTheory are comparing it to the libraries listed below
Sorting:
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- ☆41Updated 7 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- a simple functional language for learners☆30Updated 8 years ago
- A very fast Haskell library for generating high quality pseudo-random numbers.☆55Updated 4 months ago
- Paris Functional Programming Meetup☆27Updated 5 years ago
- Haskell 98 contravariant functors☆73Updated 7 months ago
- Open records for Haskell☆22Updated 7 years ago
- haskell memory☆48Updated last year
- Haskell Join-calculus DSL☆24Updated 6 years ago
- Experiments on the construction of functions☆29Updated 9 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Online version of GHCi that supports safely executing untrusted code.☆26Updated 9 years ago
- MPFR bindings for Haskell☆34Updated last year
- Lightweight package providing commonly useful parser combinators☆54Updated 4 months ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 9 years ago
- ☆23Updated 7 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 7 months ago
- A monad for managed values☆50Updated 2 years ago
- Dive into GHC☆82Updated 8 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Obsidian Language Repository☆41Updated 7 years ago
- List monad transformer☆60Updated last year
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- ☆75Updated 3 months ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago
- ☆40Updated 5 years ago