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
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated last week
- 🧊 Типізоване -גчислення☆16Updated last year
- 🧊 Інститут формальної математики☆34Updated last week
- ⭕️ N2O: Haskell Application Server☆48Updated 3 years ago
- ☆30Updated 7 years ago
- Namdak Tonpa Personal Journal☆5Updated this week
- 🧊 Презентації та воркшопи☆21Updated last year
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆16Updated last year
- SAMPLE: Elixir Application☆12Updated 4 years ago
- Bread Unit calculator☆33Updated 5 years ago
- N2O in Haskell☆29Updated 8 years ago
- 🧊 Чиста система з всесвітами☆145Updated 3 weeks ago
- N2O: Application Server☆11Updated 2 years ago
- Proof theory seminar☆33Updated 3 years ago
- Experiments with sequent calculi☆27Updated 4 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆66Updated last year
- LambdaConf 2018 workshop on building Telegram bots in Haskell.☆25Updated 5 years ago
- ☆13Updated last month
- My master thesis about generic programming and ornaments☆16Updated 8 years ago
- What I wish I knew when learning HoTT☆53Updated 6 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Updated 6 years ago
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Updated 6 years ago
- Category theory and algebra☆28Updated 8 years ago
- Work in progress☆34Updated 4 months ago
- The category theory by example book☆58Updated last year
- An Idris port of the Haskell Hedghog library☆32Updated 5 months ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Formalizing nbe in agda☆30Updated 12 years ago
- yacctt: Yet Another Cartesian Cubical Type Theory☆76Updated 6 years ago