erpuno / scan
💧 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
- 🧊 Типізоване -גчислення☆16Updated last year
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated this week
- ⭕️ N2O: Haskell Application Server☆48Updated 3 years ago
- 🧊 Інститут формальної математики☆34Updated this week
- Namdak Tonpa Personal Journal☆5Updated last week
- 🧊 Презентації та воркшопи☆21Updated last year
- ☆30Updated 7 years ago
- N2O in Haskell☆29Updated 9 years ago
- Proof theory seminar☆34Updated 4 years ago
- 🧊 Чиста система з всесвітами☆147Updated this week
- Category theory and algebra☆28Updated 8 years ago
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆16Updated last year
- Work in progress☆34Updated 4 months ago
- SAMPLE: Elixir Application☆12Updated 4 years ago
- SC Mini is a "minimal" positive supercompiler☆47Updated 4 years ago
- ☆49Updated 7 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆66Updated last year
- My master thesis about generic programming and ornaments☆16Updated 8 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
- Binary Editor☆19Updated 3 weeks ago
- ☆10Updated this week
- Base library for HoTT in Agda☆37Updated 6 years ago
- Agda from Nothing: Order in the Types☆13Updated 8 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 6 months ago
- Formalizing nbe in agda☆30Updated 12 years ago
- Dependently Typed Metaprogramming Exercises☆23Updated 7 years ago
- A formalisation of Pure Type Systems☆10Updated 5 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Updated 2 years ago
- Observational Type Theory as an Agda library☆52Updated 7 years ago
- ☆13Updated 3 weeks ago