dpiponi / Stellarator
An Atari VCS 2600 emulator written in Haskell
☆18Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Stellarator
- Emulator for Nintendo Game Boy, written in Haskell, partially working☆24Updated 13 years ago
- Logic puzzle game based on the lambda calculus☆19Updated 12 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆47Updated last year
- An experimental intermediate language for GHC☆37Updated 7 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Compiler for the Rum language☆25Updated 5 years ago
- ☆41Updated 7 years ago
- A little Doom-like 2.5 game engine☆82Updated 9 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- [Talk] Framing the Discussion with EDSLs☆9Updated 9 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- ALGT 2.0☆30Updated 4 years ago
- Stacks and queues with compact representations☆16Updated 4 years ago
- Quake 3 map viewer written in Haskell☆34Updated 7 years ago
- ☆8Updated 6 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆31Updated 2 years ago
- Simple lambda prover☆24Updated 9 years ago
- A Z80 assembler embedded in Haskell☆16Updated last year
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- ☆16Updated 6 years ago
- Haskell library for semigroup actions and torsors☆57Updated 9 months ago
- multiset haskell package☆19Updated last year
- Vector & affine spaces, linear maps, and derivatives☆45Updated 3 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 3 weeks ago
- compile your own functional language☆36Updated 5 years ago
- Unpacked containers using backpack☆52Updated 4 years ago