groupoid / joe
🧊 Компілятор ML і віртуальна машина
☆9Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for joe
- 🧊 Типізоване -גчислення☆15Updated 7 months ago
- N2O: Application Server☆10Updated last year
- 🧊 Модальний гомотопічний верифікатор математики☆19Updated 3 months ago
- N2O: Rust Application Server☆18Updated 5 years ago
- 💧 SCAN: Сканування☆13Updated 2 years ago
- 💧 SAMPLE: WebSocket Sample Application☆9Updated 8 months ago
- Компилятор Рефала-5λ☆79Updated last year
- ⭕️ N2O: Haskell Application Server☆48Updated 2 years ago
- Namdak Tonpa Personal Journal☆5Updated 2 weeks ago
- InfoSec Binary Hex Editor with Retro Disassemblers☆18Updated 2 months ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆28Updated 2 years ago
- 🧊 Чиста система з всесвітами☆143Updated 4 months ago
- ☆12Updated last year
- SC Mini is a "minimal" positive supercompiler☆46Updated 3 years ago
- Functional Algorithms Verified in SSReflect [maintainer=@clayrat]☆45Updated last month
- Facilities for generating dependently-typed data☆24Updated this week
- HN Compiler☆62Updated 5 years ago
- 🧊 Інститут формальної математики☆35Updated 7 months ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 11 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆120Updated 2 years ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- ☆24Updated 4 years ago
- BERT (Binary ERlang Term) serializer for Rust☆15Updated 7 years ago