erpuno / scan
💧 SCAN: Сканування
☆13Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for scan
- 🧊 Типізоване -גчислення☆15Updated 7 months ago
- ⭕️ N2O: Haskell Application Server☆48Updated 2 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆19Updated 3 months ago
- 🧊 Інститут формальної математики☆35Updated 7 months ago
- Namdak Tonpa Personal Journal☆5Updated 2 weeks ago
- 🧊 Презентації та воркшопи☆20Updated last year
- N2O in Haskell☆29Updated 8 years ago
- 🧊 Чиста система з всесвітами☆143Updated 4 months ago
- N2O: Application Server☆10Updated last year
- ☆30Updated 6 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated 8 months ago
- ☆47Updated 6 years ago
- Bread Unit calculator☆33Updated 5 years ago
- Erlang VM reimplementation in Haskell☆20Updated 10 years ago
- A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.☆100Updated 9 years ago
- Verification Framework for Actor Systems on Coq☆29Updated 6 years ago
- Haskell subset compiled to the Beam machine.☆41Updated 10 years ago
- Supervised Session Actors☆22Updated 8 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 7 years ago
- SDL bindings package for idris☆46Updated 4 years ago
- Higher-order FRP compiler☆14Updated 3 years ago
- Stk is a free, real time stock quotes, charts and market overview.☆17Updated 6 years ago
- AST, parser, pretty-printer for Core Erlang source code.☆28Updated 3 years ago