TRCYX / py_monad_do
Do notation in Python.
☆8Updated 3 years ago
Related projects: ⓘ
- Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds☆20Updated last year
- Agda bindings to SMT-LIB2 compatible solvers.☆94Updated 5 months ago
- Organization and planning for the Initial Types Club☆69Updated last year
- A slow-paced introduction to reflection in Agda. ---Tactics!☆91Updated 2 years ago
- Unification and type inference algorithms☆123Updated 9 years ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆55Updated 6 months ago
- Haskell bindings to Microsoft's Z3 API (unofficial).☆57Updated 6 months ago
- Purely-functional, coordinate-free linear algebra☆26Updated last month
- Programming library for Agda☆120Updated 3 weeks ago
- Library of categories, with categorical constructions on them☆54Updated last year
- Lecture notes on realizability☆65Updated 5 months ago
- Categorical logic from a categorical point of view☆75Updated 11 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆77Updated 8 years ago
- Strongly-typed System F in Haskell☆117Updated last year
- Agda formalisation of second-order abstract syntax☆51Updated 2 years ago
- Total Parser Combinators in Agda☆123Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 7 years ago
- The Penn Locally Nameless Metatheory Library☆71Updated 2 months ago
- SPLV20 course notes☆106Updated last year
- Linear Logic for Constructive Mathematics, in Agda☆18Updated 5 years ago
- Benchmarks for capture-avoiding substitution☆106Updated last year
- A simple GUI for Agda☆31Updated 8 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆61Updated last year
- Notes and handouts from OPLSS 2018☆53Updated 6 years ago
- being the materials for Summer 2013's course☆110Updated last year
- Summer school on programming in Agda☆67Updated last year
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- ☆45Updated 5 years ago
- The theory of algebraic graphs formalised in Agda☆86Updated 6 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆122Updated 2 years ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆108Updated 2 weeks ago