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☆52Updated 2 months ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- ICFP 2020 papers. Crowd-sourced☆90Updated 5 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- Haskell library containing common graph search algorithms☆54Updated 3 months ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Agda-style equational reasoning in Haskell☆54Updated 6 months ago
- A tiny language for teaching and experimenting with Refinement Types☆48Updated 4 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆74Updated 7 years ago
- Reimplementation of a subset of Cabal☆32Updated this week
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- ICFP tutorial☆39Updated 4 years ago
- A hip inductive theorem prover!☆90Updated 3 years ago
- Notes and handouts from OPLSS 2018☆55Updated 7 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- A talk☆28Updated 4 years ago
- JHC Haskell compiler split into reusable components☆57Updated 6 years ago
- ☆41Updated 5 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- Some tools for provability logic☆37Updated 7 years ago
- The Software Foundations book, in GHC☆83Updated 9 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Invertible parsing for S-expressions☆34Updated 6 months ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆37Updated 12 years ago
- Haskell's Core in K.☆20Updated 8 years ago
- An efficient graph library for Haskell☆38Updated last month
- Jupyter notebooks☆58Updated 10 months ago
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago