ul-fmf / projekt-tomoLinks
Spletna storitev za poučevanje programiranja
☆14Updated 11 months ago
Alternatives and similar repositories for projekt-tomo
Users that are interested in projekt-tomo are comparing it to the libraries listed below
Sorting:
- Spletna storitev za generiranje nalog☆18Updated 2 years ago
- A simple GUI for Agda☆31Updated 9 years ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆105Updated 3 years ago
- ☆21Updated 3 months ago
- A "implementation" of Girard's paradox in OCaml☆108Updated 10 years ago
- Categorical logic from a categorical point of view☆78Updated last year
- Formalizations of strong normalization proofs☆35Updated 5 years ago
- Agda formalisation of second-order abstract syntax☆55Updated 2 years ago
- Simplified Observational Type Theory☆83Updated 2 years ago
- Total Parser Combinators in Agda☆128Updated 2 years ago
- Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott☆32Updated 7 months ago
- An experimental Haskell library for programming with effectful runners.☆29Updated 5 years ago
- The Penn Locally Nameless Metatheory Library☆74Updated 2 months ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆71Updated 6 years ago
- ☆45Updated 5 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 6 years ago
- Reimplementation of Parsley in Haskell, with improvements☆56Updated last year
- Introduction to algebraic effects and handlers☆95Updated 6 years ago
- coinduction library for Coq☆18Updated 2 months ago
- Programming library for Agda☆128Updated 9 months ago
- An approach to higher algebra in type theory☆23Updated 5 years ago
- Organization and planning for the Initial Types Club☆73Updated 2 years ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆27Updated 3 weeks ago
- ☆10Updated 2 weeks ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Updated 2 years ago
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Updated 9 years ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆21Updated last week
- agda-mode on VS Code☆177Updated 3 weeks ago
- A wiki for collaborative work on totally legitimate "category theory"☆112Updated 11 months ago
- OCaml backend for Agda☆40Updated 6 years ago