0xd34df00d / inline-asm
Inline Assembly code in ur Haskell!
☆43Updated last month
Alternatives and similar repositories for inline-asm:
Users that are interested in inline-asm are comparing it to the libraries listed below
- Refinement types + dependent types = ❤️☆58Updated 2 years ago
- Haskell implementation of the QOI image format☆17Updated last year
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- LLVM code generation in Haskell☆54Updated 5 months ago
- ICFP tutorial☆39Updated 3 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Example uses of linear types☆43Updated 4 years ago
- FizzBuzz, formally verified, provably correct☆26Updated 2 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 10 months ago
- GRIN backend for Idris2☆34Updated 2 years ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆72Updated 3 weeks ago
- Pretty-print error messages of the ATS Compiler☆35Updated 5 years ago
- Reimplementation of a subset of Cabal☆26Updated last month
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated 10 months ago
- ☆27Updated last year
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆82Updated 3 years ago
- ☆40Updated 5 years ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆25Updated last month
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Example language server (LSP) implementation for a toy language☆59Updated 3 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 8 months ago
- Haskell port of the Nanopass Compiler Framework☆22Updated last year
- GRIN backend for Idris☆51Updated 5 years ago
- Compiler for the Rum language☆26Updated 5 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- ☆49Updated 2 weeks ago
- A usable type system for call by push-value☆33Updated 5 years ago
- Existential type.☆37Updated 4 months ago