ul-fmf / projekt-tomoLinks
Spletna storitev za poučevanje programiranja
☆14Updated last year
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
- Organization and planning for the Initial Types Club☆73Updated 2 years ago
- Generalized bananas, lenses and barbed wire☆348Updated 7 months ago
- A friendly effect system for Haskell☆232Updated last year
- Programming library for Agda☆129Updated 10 months ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆71Updated 6 years ago
- Agda bindings to SMT-LIB2 compatible solvers.☆100Updated 9 months ago
- Dependent Object Types (DOT), bottom up☆87Updated 3 years ago
- Equational laws for free☆259Updated 2 months ago
- Fake dependent types in Haskell using singletons☆292Updated 3 months ago
- Introduction to algebraic effects and handlers☆95Updated 6 years ago
- The theory of algebraic graphs formalised in Agda☆90Updated 7 years ago
- A small implementation of higher-order unification☆189Updated 7 years ago
- Library of the ##dependent distributed research support group☆114Updated last year
- The People's Refinement Logic☆229Updated 2 years ago
- A "implementation" of Girard's paradox in OCaml☆109Updated 10 years ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆156Updated last month
- formally verified category theory library☆263Updated 5 years ago
- being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…☆263Updated 7 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆156Updated 4 years ago
- Examples of Dependently-typed programs in Haskell☆304Updated 2 years ago
- Standard library for linear types in Haskell.☆345Updated 3 weeks ago
- The home of the Glamorous Glambda interpreter☆224Updated 3 months ago
- Convert Haskell source code to Coq source code☆281Updated 4 years ago
- Categories parametrized by morphism equality, in Agda☆151Updated 5 years ago
- The Happy parser generator for Haskell☆301Updated this week
- 15-819 (Homotopy Type Theory) Lecture Notes☆55Updated 4 years ago
- The Haskell LaTeX library.☆199Updated last year
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory☆210Updated 3 years ago