groupoid / joeLinks
🧊 Мінімальна внутрішня мова декартово-замкнених категорій
☆9Updated 3 months ago
Alternatives and similar repositories for joe
Users that are interested in joe are comparing it to the libraries listed below
Sorting:
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Updated last month
- 🧊 Типізоване -גчислення☆16Updated 2 months ago
- N2O: Rust Application Server☆18Updated 6 years ago
- 💧 SCAN: Сканування☆13Updated 2 years ago
- N2O: Application Server☆12Updated 2 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated 2 months ago
- Namdak Tonpa Personal Journal☆5Updated last week
- 💧 SAMPLE: WebSocket Sample Application☆10Updated last year
- 💬 CHAT: Instant Messenger. ISO/IEC: 20922; ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, D…☆9Updated 10 months ago
- SAMPLE: Elixir Application☆13Updated 4 years ago
- BERT (Binary ERlang Term) serializer for Rust☆15Updated 8 years ago
- Refinement types + dependent types = ❤️☆59Updated 3 years ago
- ⭕️ N2O: Haskell Application Server☆47Updated 3 years ago
- 🧊 Презентації та воркшопи☆21Updated last month
- HN Compiler☆61Updated last month
- FizzBuzz, formally verified, provably correct☆27Updated 2 years ago
- 💧 MHS: Система доставки повідомлень☆27Updated last month
- Bert encoder/decoder for Swift☆10Updated 8 years ago
- Ordo: A minimalist language with row polymorphism☆83Updated 4 months ago
- A small example of a source->source pattern matching to decision tree compiler☆14Updated 5 years ago
- interprets lambda calculus☆10Updated 11 months ago
- 🧊 Інститут формальної математики☆35Updated last month
- implementation of Pure Type Systems (PTS) in Rust.☆52Updated 8 years ago
- ☆17Updated 9 years ago
- N2O in Haskell☆29Updated 9 years ago
- 🧊 Чиста система з всесвітами☆147Updated 2 months ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆28Updated 3 years ago
- 🔑 AVZ: Social Authorization☆41Updated 3 years ago
- Formalization of type theory☆22Updated 4 years ago
- online decision-making platform☆14Updated last year