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 weeks ago
- 🧊 Типізоване -גчислення☆16Updated 3 weeks ago
- ⭕️ N2O: Haskell Application Server☆47Updated 3 years ago
- 🧊 Інститут формальної математики☆35Updated last week
- Namdak Tonpa Personal Journal☆5Updated this week
- ☆30Updated 7 years ago
- 🧊 Презентації та воркшопи☆21Updated 2 weeks ago
- N2O in Haskell☆29Updated 9 years ago
- 🧊 Чиста система з всесвітами☆147Updated 3 weeks ago
- SAMPLE: Elixir Application☆12Updated 4 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
- ☆10Updated last week
- Proof theory seminar☆35Updated 4 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- Category Theory in Agda. Learning exercise, not for public consumption.☆25Updated 5 years ago
- N2O: Application Server☆12Updated 2 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- Category theory and algebra☆28Updated 8 years ago
- Bread Unit calculator☆33Updated 5 years ago
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- yacctt: Yet Another Cartesian Cubical Type Theory☆75Updated 6 years ago
- ETC☆17Updated 3 years ago
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Updated 6 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- Agda from Nothing: Order in the Types☆13Updated 8 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- Experiments with sequent calculi☆27Updated 4 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 6 years ago
- Binary Editor☆19Updated 2 months ago
- LambdaConf 2018 workshop on building Telegram bots in Haskell.☆25Updated 5 years ago