erpuno / scanLinks
💧 SCAN: Сканування
☆13Updated 2 years ago
Alternatives and similar repositories for scan
Users that are interested in scan are comparing it to the libraries listed below
Sorting:
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated 3 months ago
- ⭕️ N2O: Haskell Application Server☆46Updated 3 years ago
- 🧊 Інститут формальної математики☆35Updated 2 months ago
- 🧊 Типізоване -גчислення☆16Updated 3 months ago
- 🧊 Презентації та воркшопи☆20Updated 2 months ago
- Category theory and algebra☆27Updated 9 years ago
- N2O in Haskell☆29Updated 9 years ago
- ☆49Updated 7 years ago
- My master thesis about generic programming and ornaments☆16Updated 9 years ago
- Control.Effects☆19Updated 6 years ago
- A formalisation of Pure Type Systems☆10Updated 5 years ago
- Proof theory seminar☆35Updated 4 years ago
- MixML prototype interpreter☆27Updated 5 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 7 years ago
- An experimental Haskell library for programming with effectful runners.☆30Updated 5 years ago
- 🧊 Чиста система з всесвітами☆147Updated 3 months ago
- Interactive Theorem Proving for students☆20Updated 2 years ago
- yacctt: Yet Another Cartesian Cubical Type Theory☆75Updated 7 years ago
- ☆29Updated 7 years ago
- Dependently typed Algorithm M and friends☆25Updated 7 years ago
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Updated 6 years ago
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆21Updated 2 years ago
- Higher-order FRP compiler☆15Updated 3 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Updated 4 years ago
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆84Updated 5 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 5 years ago
- Formalizing nbe in agda☆31Updated 12 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Updated 2 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 5 years ago
- A workshop on learning Agda with minimal prerequisites.☆86Updated 9 years ago