disconcision / spyshare
a tiny tool for visualising substructual sharing in data structures 🕵️♀️
☆12Updated 5 years ago
Alternatives and similar repositories for spyshare:
Users that are interested in spyshare are comparing it to the libraries listed below
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Updated 7 years ago
- ☆23Updated 7 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- ☆16Updated 6 years ago
- Clipboard synchronization tool☆12Updated last week
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- Dependent hash maps☆14Updated 10 months ago
- My favorite quotes☆17Updated 8 months ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- Rope data structure used by Yi☆20Updated 6 years ago
- Tool to convert literate code between styles or to code.☆11Updated 5 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Backtracking monad in Haskell☆14Updated 3 years ago
- Benchmarking tool with focus on comparing results.☆16Updated 6 months ago
- ☆12Updated 2 years ago
- Markup language on top of Haskell☆12Updated 4 months ago
- An approach to user interfaces based in denotational design.☆26Updated 2 years ago
- Educational implementation of dependent types☆19Updated 6 years ago
- Lambda calculus go brrrr☆29Updated last year
- The Hadrian build system for GHC☆9Updated 6 years ago
- Type level algebraic "proofs" using lens combinators☆19Updated 5 years ago
- Term Rewriting Systems☆17Updated 9 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 9 months ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- Used libraries: llvm-general, llvm-general-pure - 3.4.2-1; llvm version: 3.4.2-1; Based on http://www.stephendiehl.com/llvm/ solution.☆7Updated 9 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated last month