gergoerdi / clash-tinybasicLinks
☆11Updated 3 years ago
Alternatives and similar repositories for clash-tinybasic
Users that are interested in clash-tinybasic are comparing it to the libraries listed below
Sorting:
- Interpret Haskell programs into any cartesian closed category.☆63Updated last month
- Standard module for type-level programming in Haskell☆30Updated 6 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- ☆45Updated 3 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 9 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Minimal binary serialization library with focus on performance☆25Updated 2 months ago
- Fine-grained lattice primitives for Haskell☆37Updated 2 months ago
- Ghosts of Departed Proofs☆61Updated 4 years ago
- A command-line tool for live monitoring☆25Updated 3 months ago
- Fast unboxed references for ST and IO monad☆15Updated 8 years ago
- rewrite rules for type-level equalities☆62Updated 3 weeks ago
- Get all your structure and rip it apart.☆32Updated 6 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 4 years ago
- Overloaded plugin☆30Updated last year
- Diffing of (expression) trees.☆78Updated 2 months ago
- Reification of data structures using observable sharing☆29Updated 10 months ago
- Agda-style equational reasoning in Haskell☆54Updated 5 months ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated 2 weeks ago
- Extensible type-safe unions for Haskell☆34Updated 6 months ago
- Portable interprocess communication (IPC) in Haskell☆13Updated last year
- Override instances used by Haskell's generic derivation☆31Updated 3 years ago
- Deep embedding of imperative programs with code generation☆23Updated 3 years ago
- JHC Haskell compiler split into reusable components☆18Updated 2 months ago
- Maps using values' monoidal structure during merging☆42Updated 5 months ago
- diagrams backend that renders directly to an HTML5 canvas☆23Updated 9 years ago
- A two-dimensional parser combinator library.☆41Updated 8 years ago
- UI experiments for coda☆66Updated 3 years ago
- Existential type.☆37Updated 9 months ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆48Updated 2 years ago