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
- 🧊 Типізоване -גчислення☆16Updated 3 months ago
- 🧊 Інститут формальної математики☆35Updated 2 months ago
- 🧊 Презентації та воркшопи☆20Updated 2 months ago
- Category theory and algebra☆27Updated 9 years ago
- N2O in Haskell☆29Updated 9 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
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Updated 6 years ago
- Proof theory seminar☆35Updated 4 years ago
- The collected works of R. F. C. Walters☆12Updated 10 months ago
- ☆29Updated 7 years ago
- ☆49Updated 7 years ago
- My master thesis about generic programming and ornaments☆16Updated 9 years ago
- A formalisation of Pure Type Systems☆10Updated 5 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- Formalizing nbe in agda☆31Updated 12 years ago
- Category Theory in Agda. Learning exercise, not for public consumption.☆23Updated 5 years ago
- Control.Effects☆19Updated 6 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
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆17Updated 10 years ago
- Dependently Typed Metaprogramming Exercises☆23Updated 7 years ago
- MixML prototype interpreter☆27Updated 5 years ago
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Updated 6 years ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- Organization and planning for the Initial Types Club☆73Updated 3 years ago
- Higher-order FRP compiler☆15Updated 3 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 3 months ago
- Learn the Agda basics in three 2-hour sessions.☆60Updated last year