groupoid / joe
🧊 Компілятор ML і віртуальна машина
☆9Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for joe
- SAMPLE: Elixir Application☆12Updated 3 years ago
- 🧊 Типізоване -גчислення☆15Updated 8 months ago
- 💧 SAMPLE: WebSocket Sample Application☆9Updated 8 months ago
- 💧 SCAN: Сканування☆13Updated 2 years ago
- N2O: Application Server☆10Updated 2 years ago
- Namdak Tonpa Personal Journal☆5Updated this week
- 🧊 Модальний гомотопічний верифікатор математики☆19Updated 3 months ago
- N2O: Rust Application Server☆18Updated 5 years ago
- 🌐 N2O.DEV: Open Source Enterprise Frameworks☆15Updated last month
- InfoSec Binary Hex Editor with Retro Disassemblers☆18Updated 2 months ago
- 🛡️ CA: Certificate Authority. ДСТУ: 4145. ITU/IETF: 3279, 5755, 7030, X.509.☆17Updated this week
- Refinement types + dependent types = ❤️☆58Updated 2 years ago
- ⭕️ N2O: Haskell Application Server☆48Updated 2 years ago
- BERT (Binary ERlang Term) serializer for Rust☆15Updated 7 years ago
- ☎️ RPC: Type Driven Parser Generator☆18Updated 3 years ago
- 🧊 Презентації та воркшопи☆20Updated last year
- Socket Gateway Interface☆17Updated 7 years ago
- ☆15Updated 6 years ago
- A simple OCaml library for writing Erlang port drivers☆43Updated 4 years ago
- ☣⚫⚫ SPA Imageboad on WebSockets written on Erlang☆28Updated 2 years ago
- An Erlang library for Merkle Trees.☆18Updated 7 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last week
- N2O in Haskell☆29Updated 8 years ago
- An Erlang-specific fork of A Logical Clock for Static and Dynamic Systems☆22Updated 4 years ago