damhiya / CircuitSimulator
Electric circuit simulator using Haskell
☆8Updated 5 years ago
Alternatives and similar repositories for CircuitSimulator:
Users that are interested in CircuitSimulator are comparing it to the libraries listed below
- FineTypes is an interface description language (IDL) focussing on types☆10Updated 10 months ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Tic Tac Toe, formalized in Agda☆23Updated 3 years ago
- Cursor data and manipulation☆21Updated last year
- Linear map categories in Agda☆5Updated last year
- PolyRPC, A multi-tier functional programming language☆20Updated 2 years ago
- A framework for managing daemons from Haskell and libraries for use with postgresql and nix☆19Updated 3 months ago
- Austin's supercompiler work☆21Updated 5 years ago
- Union mount in Haskell, with fsnotify☆12Updated 9 months ago
- Haskell knowledgebase, Zettelkasten style (~2 months experiment, which resulted in migration to srid.ca)☆17Updated 4 years ago
- Extremely composable embeddable programming language☆21Updated this week
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated 2 weeks ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 5 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 6 years ago
- Regular expressions of types☆16Updated 6 years ago
- concurrent mutable ring buffers with atomic updates in GHC Haskell☆11Updated 4 years ago
- ☆11Updated 3 years ago
- 📺 The power of Haskell in your terminal!☆42Updated 3 weeks ago
- A concurrent mutable ring-buffer☆12Updated 3 months ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago
- ✂️ Hakyll shortcut-links in markdown files☆11Updated 3 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Automation for releasing haskell packages☆18Updated last year
- Boring and Absurd types☆17Updated 3 weeks ago
- Dependent hash maps☆14Updated 7 months ago
- Extensible sums and products for Haskell☆19Updated last year
- Haskell to C compiler via Categorifier☆29Updated last year
- Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.☆11Updated 7 years ago
- Generic pretty-printer for program output☆11Updated last year
- Ideas for the next generation of Haskell's Arrow notation☆12Updated 5 years ago