Jo Secure Programming Language
☆31Aug 2, 2026Updated this week
Alternatives and similar repositories for jo
Users that are interested in jo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- benchmark compilation of Dotty☆16Updated this week
- Unified LLM API and agent runtime for Clojure, ClojureScript (and soon Clojure Dart)☆17Updated this week
- Wave Function Collapse in Clojure☆25Nov 6, 2023Updated 2 years ago
- Shonan #143: Programming Language Support for Data-intensive Applications☆15Jul 1, 2019Updated 7 years ago
- Examples to illustrate the use of experimental OCaml macros☆13Jan 5, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Scala 3 Decompiler☆11May 17, 2021Updated 5 years ago
- Haskell charting library☆10Aug 21, 2021Updated 4 years ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated 2 years ago
- ☆11Dec 6, 2021Updated 4 years ago
- ☆13Feb 18, 2020Updated 6 years ago
- Staged Streams and other stuff☆19Jul 10, 2022Updated 4 years ago
- 🛡️ Programmable Guardrails for LLM Applications in Java. A framework-agnostic toolkit for input/output validation, PII masking, and jail…☆16Apr 15, 2026Updated 3 months ago
- ☆18Jul 27, 2026Updated last week
- Type-level lambda calculus in Scala 3☆13Oct 11, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆14Jul 29, 2026Updated last week
- Data-centric metaprogramming for Scala☆17Aug 6, 2015Updated 11 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Dec 21, 2015Updated 10 years ago
- Expands [%here] into its location☆13Jul 10, 2026Updated 3 weeks ago
- Derive Decline CLIs automatically from your enums and case classes in Scala 3☆15Apr 2, 2026Updated 4 months ago
- Tools for managing YouTube videos via the YouTube Data API☆10Oct 18, 2023Updated 2 years ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆19May 26, 2025Updated last year
- PICO8 inspired live coded thick pixel visual instrument☆38Jan 1, 2021Updated 5 years ago
- company-mode completion back-end for MLton/Standard ML☆16Dec 7, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- CppStreams is a data pipeline library for C++☆14Aug 1, 2015Updated 11 years ago
- Reasonable Go.☆10Aug 13, 2018Updated 7 years ago
- ☆21Dec 29, 2025Updated 7 months ago
- A formalisation of Pure Type Systems☆10Dec 7, 2019Updated 6 years ago
- Java - but small☆18Jul 23, 2026Updated last week
- ☆18Aug 6, 2019Updated 7 years ago
- Measuring memory usage in C and C++☆29Nov 3, 2016Updated 9 years ago
- ☆12Dec 19, 2024Updated last year
- Formal Verification for JavaScript Regular Expressions☆15Jul 8, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- flexible 'let rec' generation for MetaOCaml☆29Jan 25, 2026Updated 6 months ago
- A PLT Redex implementation of Featherweight Java☆16Oct 8, 2012Updated 13 years ago
- Datahike remote system☆37Nov 12, 2023Updated 2 years ago
- This project is a core-library for generate POJO's from asyncApi yaml contract.☆15Jul 1, 2026Updated last month
- A lightweight, production-ready Spring Boot library to standardize REST API responses and Global Exception Handling (RFC Standard). Inclu…☆17Feb 16, 2026Updated 5 months ago
- The missing workspace tool for clojure tools.deps projects☆38Jun 23, 2026Updated last month
- System Fω interpreter for use in Advanced Functional Programming course☆72Oct 16, 2023Updated 2 years ago