pascalh / AstviewLinks
Astview is a graphical viewer for abstract syntax trees
☆25Updated 3 years ago
Alternatives and similar repositories for Astview
Users that are interested in Astview are comparing it to the libraries listed below
Sorting:
- enumerative property-based testing for Haskell☆53Updated 6 months ago
- ☆41Updated 5 years ago
- Haskell library containing common graph search algorithms☆54Updated 7 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆55Updated 8 years ago
- JHC Haskell compiler split into reusable components☆57Updated 7 years ago
- Reimplementation of a subset of Cabal☆35Updated last week
- Compositional type checking for Haskell☆38Updated 14 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- Agda-style equational reasoning in Haskell☆54Updated 3 weeks ago
- Paris Functional Programming Meetup☆27Updated 5 years ago
- ICFP 2020 papers. Crowd-sourced☆90Updated 5 years ago
- Learn the Agda basics in three 2-hour sessions.☆60Updated 4 months ago
- A talk☆29Updated 4 years ago
- Bidirectional programming in Haskell with monadic profunctors☆48Updated 3 years ago
- A hip inductive theorem prover!☆90Updated 4 years ago
- higher order dependently typed logic programing☆173Updated 7 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 6 years ago
- ☆12Updated 5 years ago
- Invertible parsing for S-expressions☆34Updated this week
- ☆86Updated 8 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Named parameters (keyword arguments) for Haskell☆98Updated 10 months ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Tiny type-checker with dependent types☆78Updated 12 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆77Updated 3 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 8 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆85Updated 9 years ago
- An efficient graph library for Haskell☆40Updated 5 months ago
- Free Algebras in Haskell☆38Updated last year
- ☆32Updated 7 years ago