damhiya / CircuitSimulator
Electric circuit simulator using Haskell
☆8Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for CircuitSimulator
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 6 years ago
- Linear map categories in Agda☆5Updated last year
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆13Updated 5 years ago
- PolyRPC, A multi-tier functional programming language☆20Updated 2 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years 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
- Dependent hash maps☆14Updated 5 months ago
- Austin's supercompiler work☆21Updated 4 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago
- A toy Parser+Compiler+Typechecker☆12Updated last year
- Cursor data and manipulation☆21Updated 11 months ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- ☆14Updated last year
- I/O utilities and datasets for algebraic-graphs☆13Updated 2 years ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆19Updated 7 months ago
- Invertible parsing for S-expressions☆33Updated last month
- Dhall-configured inductive API definitions☆24Updated 4 years ago
- A package Index for agda libraries☆12Updated 3 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- A fully compliant Haskell 98 lexer.☆15Updated 2 weeks ago
- ☆15Updated 2 years ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆13Updated last year
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Updated 9 months ago
- 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
- An efficient graph library for Haskell☆39Updated 3 months ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆33Updated 5 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆29Updated 10 months ago