ul-fmf / projekt-tomo
Spletna storitev za poučevanje programiranja
☆14Updated 10 months ago
Alternatives and similar repositories for projekt-tomo:
Users that are interested in projekt-tomo are comparing it to the libraries listed below
- Spletna storitev za generiranje nalog☆18Updated 2 years ago
- Categories parametrized by morphism equality, in Agda☆150Updated 5 years ago
- A "implementation" of Girard's paradox in OCaml☆106Updated 10 years ago
- Introduction to algebraic effects and handlers☆95Updated 6 years ago
- Programming library for Agda☆127Updated 8 months ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆71Updated 5 years ago
- Organization and planning for the Initial Types Club☆73Updated 2 years ago
- Reimplementation of Parsley in Haskell, with improvements☆52Updated last year
- Homotopy theory in Coq.☆92Updated 14 years ago
- A self-contained repository for the paper Type and Scope Preserving Semantics☆22Updated 6 years ago
- Various data structures for use in the Idris Language.☆95Updated 4 years ago
- ☆45Updated 5 years ago
- Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott☆31Updated 6 months ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- The theory of algebraic graphs formalised in Agda☆89Updated 6 years ago
- agda-mode on VS Code☆175Updated this week
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆196Updated 3 years ago
- Library of the ##dependent distributed research support group☆112Updated 9 months ago
- A friendly effect system for Haskell☆231Updated 11 months ago
- A simple GUI for Agda☆31Updated 9 years ago
- Dependent Object Types (DOT), bottom up☆86Updated 3 years ago
- Formalization of Linear Logic☆10Updated 7 years ago
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆26Updated 2 years ago
- The Penn Locally Nameless Metatheory Library☆74Updated last month
- Agda formalisation of second-order abstract syntax☆55Updated 2 years ago
- Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds☆22Updated last year
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated last year
- An experimental Haskell library for programming with effectful runners.☆29Updated 5 years ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆101Updated 2 years ago
- Our Website☆17Updated 2 years ago