kcsongor / register-machine-type
Universal Register Machine implemented at the type-level of Haskell
☆23Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for register-machine-type
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Reification of data structures using observable sharing☆28Updated last week
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- ☆20Updated 5 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 9 years ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 4 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Compiler for IMP programming language implemented in Haskell☆16Updated 4 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Fixed length vector for haskell☆21Updated 7 months ago
- Kleene algebra, regular expressions☆32Updated 11 months ago
- Deep evaluation of data structures☆41Updated 2 months ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated 3 months ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated last week
- More strongly typed variant of the ixset Haskell package☆23Updated 2 months ago
- Haskell98 indexed functors, monads, comonads☆25Updated 2 years ago
- MPFR bindings for Haskell☆33Updated last year
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Updated 6 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 5 years ago
- System F implemented in Haskell☆24Updated 12 years ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- Haskell library for efficiently building up buffers☆26Updated 2 months ago
- ☆44Updated last month
- ☆17Updated 2 years ago