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 last week
- 🧊 Типізоване -גчислення☆16Updated this week
- 🧊 Інститут формальної математики☆35Updated this week
- ⭕️ N2O: Haskell Application Server☆48Updated 3 years ago
- Namdak Tonpa Personal Journal☆5Updated last week
- ☆30Updated 7 years ago
- N2O in Haskell☆29Updated 9 years ago
- 🧊 Презентації та воркшопи☆21Updated last year
- 🧊 Чиста система з всесвітами☆147Updated this week
- Proof theory seminar☆35Updated 4 years ago
- Bread Unit calculator☆33Updated 5 years ago
- Category Theory in Agda. Learning exercise, not for public consumption.☆25Updated 5 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
- ☆13Updated last week
- 💧 SAMPLE: WebSocket Sample Application☆9Updated last year
- N2O: Application Server☆12Updated 2 years ago
- SAMPLE: Elixir Application☆12Updated 4 years ago
- Category theory and algebra☆28Updated 8 years ago
- 🧊 Мінімальна внутрішня мова декартово-замкнених категорій☆9Updated last month
- My master thesis about generic programming and ornaments☆16Updated 8 years ago
- HN Compiler☆62Updated 6 years ago
- ☆10Updated this week
- Learn the Agda basics in three 2-hour sessions.☆57Updated last year
- Binary Editor☆19Updated 2 months ago
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Updated 6 years ago
- ☆49Updated 7 years ago
- Verification Framework for Actor Systems on Coq☆29Updated 6 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 6 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago