dpiponi / StellaratorLinks
An Atari VCS 2600 emulator written in Haskell
☆18Updated 3 years ago
Alternatives and similar repositories for Stellarator
Users that are interested in Stellarator are comparing it to the libraries listed below
Sorting:
- Compiler for the Rum language☆26Updated 5 years ago
- Clash implementation of the Compucolor II home computer☆31Updated 3 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 9 years ago
- ALGT 2.0☆30Updated 5 years ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆14Updated last year
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆47Updated 2 years ago
- Testing Infrastructure for Temporal AbstractioNs☆23Updated 4 years ago
- Demoscene: Lambda Team☆20Updated 5 years ago
- Haskell-centric Fast Accurate Curve Rasterizer☆24Updated 3 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- Emulator for Nintendo Game Boy, written in Haskell, partially working☆24Updated 13 years ago
- The LC3 virtual machine☆23Updated 5 months ago
- ☆41Updated 7 years ago
- A simple, purely-functional programming language☆25Updated 2 years ago
- Haskell library for semigroup actions and torsors☆62Updated 4 months ago
- Relative Monad Library for Agda☆24Updated 6 years ago
- being a thing I build on a Saturday☆28Updated 7 years ago
- being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford☆20Updated 9 years ago
- MPFR bindings for Haskell☆34Updated last year
- An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"☆23Updated 12 years ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- Generic functions for single-sorted first-order structural unification☆46Updated last month
- Logic puzzle game based on the lambda calculus☆20Updated 12 years ago
- Vector & affine spaces, linear maps, and derivatives☆47Updated 10 months ago
- ☆17Updated 6 years ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆23Updated 14 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Updated 3 years ago
- being bits and pieces I'm inclined to leave lying around☆50Updated 5 months ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- The theme for LD31 was "Entire Game on One Screen"☆29Updated 8 years ago