JOPA: Java compiler in C++
☆72Dec 6, 2025Updated 3 months ago
Alternatives and similar repositories for jopa
Users that are interested in jopa are comparing it to the libraries listed below
Sorting:
- Logically Qualified Data Types - automatically infer refinement types☆16Aug 24, 2021Updated 4 years ago
- My WebAssembly VM☆76Jan 26, 2026Updated last month
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- (Hopefully) a compiler for my first language named "Pie"☆24Mar 13, 2026Updated last week
- A programming language with first-class modules and algebraic effects.☆14Dec 3, 2022Updated 3 years ago
- Concolic Exection Engine for Golang☆10May 16, 2018Updated 7 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- Repository for dealing with Malloc mangling functions☆12Jun 11, 2020Updated 5 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- A simple tutorial about how to use the CIL compiler frontend☆12Feb 10, 2025Updated last year
- a simple x86/arm jit framework for c☆37Mar 2, 2026Updated 2 weeks ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Apr 13, 2022Updated 3 years ago
- A Clojure library for sending emails with SendGrid.☆12Dec 19, 2022Updated 3 years ago
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Feb 18, 2025Updated last year
- Library to enable Visualization Driven Development in Clojure projects.☆36May 21, 2014Updated 11 years ago
- opam plugin to initialise a local development environment for an OCaml project☆17Nov 25, 2020Updated 5 years ago
- Bindings to libui for janet☆37May 9, 2024Updated last year
- ☆14Dec 14, 2020Updated 5 years ago
- Experiments about intermediate representations in compilers☆28Aug 24, 2012Updated 13 years ago
- ☆13Oct 22, 2020Updated 5 years ago
- Small x-platform actor framework☆14Feb 17, 2026Updated last month
- Printing a book with HTML/CSS☆20Nov 16, 2019Updated 6 years ago
- FontAwesome icons as hiccup for Clojure(Script)☆15Nov 25, 2025Updated 3 months ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated last year
- A tool for working with Forth code blocks☆12May 19, 2022Updated 3 years ago
- Run tests against common configuration file formats using Clojure!☆15Mar 5, 2026Updated 2 weeks ago
- Docker build and test files for testing new versions of PostgreSQL. Designed in order to create a test container for alphas and betas on…☆13Jul 2, 2015Updated 10 years ago
- sbt plugin for monitoring Scala.js artifact size☆14Dec 27, 2024Updated last year
- Experimental Scala Native library for Postgres access (using libpq)☆16Nov 26, 2025Updated 3 months ago
- Leiningen plugin responsible for finding possible vulnerabilities in clojure applications.☆11Sep 25, 2021Updated 4 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 2 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆66Nov 17, 2025Updated 4 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- ☆17Mar 5, 2023Updated 3 years ago
- ☆12Mar 8, 2023Updated 3 years ago
- a sqlc plugin for generating sql.js-compatible queries☆17Jun 11, 2023Updated 2 years ago
- A bridge from I/O to transducers and back☆17Apr 27, 2025Updated 10 months ago
- sketches for egg: a flexible, high-performance e-graph library☆30Sep 25, 2025Updated 5 months ago