DataKinds / sixty-five-oh-two
A 65C02 Assembly eDSL in Haskell
☆16Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for sixty-five-oh-two
- source code for the bondi programming language☆38Updated 5 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 2 weeks ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 9 years ago
- My Own Linear Lisp☆36Updated 6 years ago
- A Z80 assembler embedded in Haskell☆16Updated last year
- A Dependently Typed Esolang☆10Updated 7 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 4 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- A simple Prolog interpreter☆43Updated 2 years ago
- Haskell implementation of Notch's dcpu-16 specification (assembler, emulator)☆42Updated 12 years ago
- Invertible parsing for S-expressions☆33Updated last month
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- Morte IDE☆29Updated 10 months ago
- purple: compiling a reflective language☆29Updated 3 weeks ago
- Manfred von Thun's Programming Language Joy☆16Updated this week
- ☆33Updated 6 months ago
- A Self-Interpreter for F-omega☆16Updated 8 years ago
- Haskell User's Gofer System☆22Updated 8 years ago
- ☆20Updated 9 years ago
- ☆41Updated 7 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- Martin-Löf Extensible Specification and Simulator☆29Updated 9 years ago
- A bare-bones LCF-style proof assistant☆21Updated 5 years ago