groupoid / joe
🧊 Мінімальна внутрішня мова декартово-замкнених категорій
☆9Updated last week
Alternatives and similar repositories for joe:
Users that are interested in joe are comparing it to the libraries listed below
- 🧊 Типізоване -גчислення☆16Updated last year
- N2O: Rust Application Server☆18Updated 5 years ago
- 💧 SAMPLE: WebSocket Sample Application☆9Updated last year
- SAMPLE: Elixir Application☆12Updated 4 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated this week
- N2O: Application Server☆12Updated 2 years ago
- 🌐 N2O.DEV: Open Source Enterprise Frameworks☆15Updated 3 weeks ago
- 💧 SCAN: Сканування☆13Updated 2 years ago
- P2P CAS / P2P Framework / Distributed GIT☆17Updated 3 weeks ago
- 🧊 Презентації та воркшопи☆21Updated last year
- Socket Gateway Interface☆18Updated 7 years ago
- 🛡️ CA: Certificate Authority. ДСТУ: 4145. ITU/IETF: 3279, 5755, 7030, X.509.☆18Updated 5 months ago
- A simple OCaml library for writing Erlang port drivers☆43Updated 5 years ago
- 🔥 NITRO: Nitrogen Web Framework RFC 6455☆55Updated 7 months ago
- ⭕️ N2O: Haskell Application Server☆48Updated 3 years ago
- Set of helpers functions for more convenient functional programming in Erlang☆28Updated 5 years ago
- Bert encoder/decoder for Swift☆10Updated 7 years ago
- BERT (Binary ERlang Term) serializer for Rust☆15Updated 8 years ago
- ☎️ RPC: Type Driven Parser Generator☆19Updated 3 years ago
- online decision-making platform☆14Updated last year
- Namdak Tonpa Personal Journal☆5Updated last week
- 🧊 Чиста система з всесвітами☆147Updated last week
- Refinement types + dependent types = ❤️☆58Updated 2 years ago
- Generic on-disk persistent queue implementation for Erlang☆38Updated last month
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Open Telecom Platform Command Language a.k.a. Tcl-Flavored Erlang☆38Updated 2 years ago
- ☣⚫⚫ SPA Imageboad on WebSockets written on Erlang☆29Updated this week
- Simply Erlang integration with Twilio☆8Updated 6 years ago
- An ahead-of-time compiler from Erlang (intermediate language) to LLVM IR and a runtime library for linking against it☆15Updated 6 years ago
- Erlang Term support and External Term format codec library implemented in Python and optional implementation Rust☆17Updated 6 months ago