erpuno / scan
💧 SCAN: Сканування
☆13Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for scan
- 🧊 Типізоване -גчислення☆15Updated 8 months ago
- ⭕️ N2O: Haskell Application Server☆48Updated 2 years ago
- Namdak Tonpa Personal Journal☆5Updated this week
- 🧊 Модальний гомотопічний верифікатор математики☆19Updated 3 months ago
- 🧊 Інститут формальної математики☆35Updated 7 months ago
- 🧊 Презентації та воркшопи☆20Updated last year
- N2O in Haskell☆29Updated 8 years ago
- ☆30Updated 6 years ago
- N2O: Application Server☆10Updated 2 years ago
- SAMPLE: Elixir Application☆12Updated 3 years ago
- Proof theory seminar☆31Updated 3 years ago
- ☆47Updated 6 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated 8 months ago
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Updated 5 years ago
- Category theory and algebra☆27Updated 8 years ago
- SDL bindings package for idris☆46Updated 4 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 6 years ago
- Work in progress☆34Updated 4 months ago
- Presentations on Liquid Haskell, type theory, and more☆44Updated 3 weeks ago
- 🧊 Чиста система з всесвітами☆143Updated 4 months ago
- A curated list of PureScript packages for the Erlang backend☆10Updated 2 years ago
- Bread Unit calculator☆33Updated 5 years ago