gergoerdi / clash-tinybasicLinks
☆11Updated 4 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:
- diagrams backend that renders directly to an HTML5 canvas☆23Updated 9 years ago
- Standard module for type-level programming in Haskell☆31Updated 6 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Reification of data structures using observable sharing☆29Updated last year
- A monadic interface for DAG construction.☆24Updated 4 years ago
- A two-dimensional parser combinator library.☆41Updated 8 years ago
- Ghosts of Departed Proofs☆61Updated 4 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- A command-line tool for live monitoring☆25Updated 5 months ago
- UI experiments for coda☆66Updated 4 years ago
- Interpret Haskell programs into any cartesian closed category.☆67Updated last week
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 5 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 9 years ago
- ☆45Updated 3 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 8 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated 11 months ago
- Diffing of (expression) trees.☆78Updated 4 months ago
- More strongly typed variant of the ixset Haskell package☆26Updated 3 months ago
- QuasiQuoter for GHCJS JavaScript FFI☆20Updated 9 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆48Updated 2 years ago
- rewrite rules for type-level equalities☆62Updated 2 months ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 8 years ago
- An attempt to reimagine knowledge interaction.☆18Updated 5 years ago
- ☆44Updated 8 months ago
- An experiment in functional interface design☆24Updated 9 years ago
- A library for parsing Gerbers☆20Updated 5 months ago
- Easy bidirectional serialization in Haskell☆49Updated 6 years ago
- Serializable closures for distributed programming.☆65Updated last year
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 9 months ago