Artifact accompanying our OOPSLA'15 publication.
☆33Aug 16, 2023Updated 2 years ago
Alternatives and similar repositories for research-paper-oopsla15-artifact
Users that are interested in research-paper-oopsla15-artifact are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Generic immutable recursive data representation API targeted at source code models and more.☆39May 2, 2026Updated last month
- Code for Method Dispatch article☆13Feb 11, 2015Updated 11 years ago
- RRB-Trees: Efficient Immutable Vectors☆53Nov 5, 2012Updated 13 years ago
- A simple stream filter to highlight patterns☆17Jun 17, 2016Updated 9 years ago
- The Capsule Hash Trie Collections Library☆416Jan 26, 2026Updated 4 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Demo re-implementation of the Hadoop MapReduce scheduler in Python☆13Mar 1, 2016Updated 10 years ago
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆41Apr 19, 2018Updated 8 years ago
- company-mode completion back-end for MLton/Standard ML☆16Dec 7, 2020Updated 5 years ago
- A type-level logic programming language embedded in F#☆34Mar 5, 2018Updated 8 years ago
- MLton for scalable multicore architectures☆57Mar 10, 2014Updated 12 years ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- A Datalog implementation with an OCaml inspired module system☆43Apr 24, 2026Updated last month
- A PLT Redex implementation of Featherweight Java☆17Oct 8, 2012Updated 13 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆55Mar 2, 2026Updated 3 months 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.
- ☆22Jun 25, 2015Updated 10 years ago
- The `netcat` container, the Swiss army knife of networking tool, Dockerized !☆10Jul 4, 2018Updated 7 years ago
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆44Nov 28, 2018Updated 7 years ago
- A comprehensive MCP server for Gradle.☆51Updated this week
- Type checking ifdef variability☆80Sep 7, 2021Updated 4 years ago
- A candidate indexed, linked list data structure for OpenJDK.☆17Dec 7, 2025Updated 6 months ago
- Automatically generate Builder classes instead of using complex constructors, all through the magic of maven.☆22Sep 25, 2017Updated 8 years ago
- My experimental programming language using Truffle☆113Feb 28, 2020Updated 6 years ago
- New windows are provided for viewing code templates and keybindings while coding in the NetBeans editor.☆10May 24, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ammonite vi mode ivy☆10Dec 1, 2023Updated 2 years ago
- Port of Cyc to Common Lisp☆27May 11, 2026Updated 3 weeks ago
- Shonan #143: Programming Language Support for Data-intensive Applications☆15Jul 1, 2019Updated 6 years ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated last year
- ☆13Feb 18, 2020Updated 6 years ago
- Examples to illustrate the use of experimental OCaml macros☆13Jan 5, 2018Updated 8 years ago
- Staged Streams and other stuff☆19Jul 10, 2022Updated 3 years ago
- Google's Java documentation generation tool. Static page generator which uses templates and has the possibility for versioning.☆11Apr 24, 2018Updated 8 years ago
- Papers I (+ collaborators) have written or am currently writing☆20Jan 15, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- [discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.☆18Jun 9, 2016Updated 10 years ago
- files from cl directory of parcftp about 2014☆12Jan 16, 2024Updated 2 years ago
- benchmark compilation of Dotty☆17Feb 6, 2024Updated 2 years ago
- ZFS backup checking system☆15Jul 8, 2018Updated 7 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Dec 21, 2015Updated 10 years ago
- Dictionary and set data structures using hash array-mapped tries (HAMT)☆34Mar 13, 2020Updated 6 years ago
- KLIC: Portable implementation of KL1. Forked from "https://www.ueda.info.waseda.ac.jp/software-j.html"☆15Oct 27, 2023Updated 2 years ago