TRCYX / py_monad_do
Do notation in Python.
☆8Updated 4 years ago
Alternatives and similar repositories for py_monad_do:
Users that are interested in py_monad_do are comparing it to the libraries listed below
- Agda bindings to SMT-LIB2 compatible solvers.☆97Updated 6 months ago
- Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds☆22Updated last year
- Programming library for Agda☆127Updated 8 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆82Updated 8 years ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆101Updated 2 years ago
- Total Parser Combinators in Agda☆126Updated last year
- The theory of algebraic graphs formalised in Agda☆89Updated 6 years ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated last year
- Organization and planning for the Initial Types Club☆73Updated 2 years ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆71Updated 5 years ago
- GHC Whole Program Compiler and External STG IR tooling☆118Updated 5 months ago
- Agda formalisation of second-order abstract syntax☆55Updated 2 years ago
- Benchmarks for capture-avoiding substitution☆113Updated last week
- Agda formalisation of the Introduction to Homotopy Type Theory☆123Updated 3 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 2 years ago
- A simple GUI for Agda☆31Updated 9 years ago
- Reimplementation of Parsley in Haskell, with improvements☆52Updated last year
- Template for quickly and easily combining happy and alex☆48Updated 9 years ago
- Play/learn/work with me☆102Updated 8 months ago
- Fast equality saturation in Haskell☆84Updated 2 months ago
- Haskell bindings to Microsoft's Z3 API (unofficial).☆58Updated last year
- ☆127Updated 3 years ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆187Updated 9 months ago
- Linear Logic for Constructive Mathematics, in Agda☆17Updated 5 years ago
- Strongly-typed System F in Haskell☆116Updated 2 years ago
- A place to collect work on dialectica categories.☆26Updated 3 months ago
- Inspection Testing for Haskell☆176Updated 3 months ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 6 years ago
- A community-driven collection of documentation for Haskell error messages and warnings☆105Updated last month
- Lecture notes on realizability☆72Updated 2 months ago