DataKinds / sixty-five-oh-two
A 65C02 Assembly eDSL in Haskell
☆16Updated 6 years ago
Alternatives and similar repositories for sixty-five-oh-two:
Users that are interested in sixty-five-oh-two are comparing it to the libraries listed below
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 5 months ago
- a self-hosting lambda calculus compiler☆35Updated 4 years ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- A Z80 assembler embedded in Haskell☆16Updated last year
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 4 years ago
- Morte IDE☆29Updated last year
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆47Updated 2 years ago
- ☆36Updated last year
- A tiny statically typed programming language☆18Updated 10 years ago
- pure type system language - henk 2000 ported to megaparsec, pretty☆21Updated 9 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- A SKI combinators interpreter written in assembly☆19Updated 4 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- Haskell implementation of Notch's dcpu-16 specification (assembler, emulator)☆42Updated 12 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 9 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated 3 weeks ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- Idris tactics for (commutative) monoids☆20Updated 4 years ago
- ☆12Updated 4 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago