damhiya / CircuitSimulator
Electric circuit simulator using Haskell
☆8Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for CircuitSimulator
- Linear map categories in Agda☆5Updated last year
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 6 years ago
- Haskell types and functions to represent, query, and manipulate the Nixpkgs distribution. | Source has moved to https://github.com/nixos/…☆17Updated 2 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
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- A concurrent mutable ring-buffer☆12Updated last month
- JHC Haskell compiler split into reusable components☆16Updated 2 years ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Cursor data and manipulation☆21Updated 11 months ago
- Library for invertible parsing and printing☆31Updated 6 months ago
- concurrent mutable ring buffers with atomic updates in GHC Haskell☆11Updated 3 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆13Updated 5 years ago
- Simple, layout-based, unambiguous configuration language implemented in Haskell☆18Updated last month
- haskell posix bindings☆18Updated 8 months ago
- FineTypes is an interface description language (IDL) focussing on types☆10Updated 8 months ago
- the dynabook but for haskell☆23Updated 5 years ago
- ☆26Updated this week
- A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.☆29Updated 8 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- Austin's supercompiler work☆21Updated 5 years 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
- Regular expressions of types☆16Updated 6 years ago
- Probabilistic Functional Logic Programming☆14Updated last month
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- Dependent hash maps☆14Updated 5 months ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago