disconcision / spyshareLinks
a tiny tool for visualising substructual sharing in data structures π΅οΈββοΈ
β17Updated 6 years ago
Alternatives and similar repositories for spyshare
Users that are interested in spyshare are comparing it to the libraries listed below
Sorting:
- β23Updated 7 years ago
- Edit is a monad for rewriting things.β23Updated 5 years ago
- The generalized intensional compiler for a Haskell-like language.β14Updated 7 years ago
- π Idris implementation of patricia treeβ23Updated 4 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effectsβ35Updated 11 months ago
- translations of a lambda abstraction to combinations of operatorsβ18Updated 6 years ago
- Library for invertible parsing and printingβ32Updated last month
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.β29Updated 10 months ago
- Lambda Calculus with quote and unquoteβ19Updated 5 years ago
- LibSSH2 FFI bindings for Haskellβ26Updated 6 months ago
- Experimental proof assistant (and architecture) for dependent linear logicβ49Updated 3 years ago
- Type level algebraic "proofs" using lens combinatorsβ19Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)β30Updated 6 years ago
- System POSIX bindings for Idris.β36Updated 6 years ago
- Build tool for ATS.β42Updated 3 years ago
- "operating system" based on the calculus of constructionsβ18Updated 3 years ago
- Implementation of Martin-LΓΆf Type Theory in Haskellβ16Updated 9 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.β49Updated 8 months ago
- An efficient graph library for Haskellβ38Updated last month
- Agda suffices: software written from A to Z in Agdaβ16Updated 6 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.β40Updated 4 years ago
- the dynabook but for haskellβ23Updated 6 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.β16Updated 2 years ago
- Classical Logic in Haskellβ24Updated 6 months ago
- A compiler for a strongly typed, haskell-like functional languageβ22Updated 7 years ago
- Clipboard synchronization toolβ12Updated last month
- Funny little Haskell implβ18Updated 4 years ago
- An approach to user interfaces based in denotational design.β27Updated 2 years ago
- Examples from Introduction to Programming in ATSβ26Updated 11 years ago
- A small NuPRL style proof assistantβ31Updated 6 years ago