dpiponi / Stellarator
An Atari VCS 2600 emulator written in Haskell
☆18Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Stellarator
- ALGT 2.0☆30Updated 4 years ago
- Compiler for the Rum language☆25Updated 5 years ago
- Quake 3 map viewer written in Haskell☆34Updated 7 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- ☆41Updated 7 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆47Updated last year
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- A Z80 assembler embedded in Haskell☆16Updated last year
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Logic puzzle game based on the lambda calculus☆19Updated 12 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆69Updated 2 years ago
- An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"☆23Updated 12 years ago
- ☆8Updated 6 years ago
- compile your own functional language☆36Updated 5 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- ET (IPL) language interpreters and literature☆26Updated 5 years ago
- Demoscene: Lambda Team☆20Updated 5 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- Hopefully verifiable code generation in GHC☆95Updated 7 years ago
- ☆39Updated 4 years ago
- Clash implementation of the Compucolor II home computer☆30Updated 3 years ago
- A simple library for Haskell that allows relational programming.☆47Updated 12 years ago
- NES programming in Haskell? No way!☆38Updated 8 years ago
- Haskell implementation of interaction net-based lambda evaluation☆16Updated 8 years ago
- [Talk] Framing the Discussion with EDSLs☆9Updated 9 years ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆31Updated 2 years ago
- A simple Prolog interpreter☆43Updated 2 years ago
- Inline, type safe X86-64 assembly programming in Agda☆66Updated 5 years ago