Artifact accompanying our OOPSLA'15 publication.
☆33Aug 16, 2023Updated 3 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.☆40Aug 14, 2026Updated 2 weeks ago
- The Capsule Hash Trie Collections Library☆417Jun 23, 2026Updated 2 months ago
- RRB-Trees: Efficient Immutable Vectors☆53Nov 5, 2012Updated 13 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Demo re-implementation of the Hadoop MapReduce scheduler in Python☆13Mar 1, 2016Updated 10 years ago
- ☆18Aug 20, 2019Updated 7 years ago
- Java/Clojure TCP Connections done right☆11May 22, 2017Updated 9 years ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- clojure.spec for Datomic☆13Sep 27, 2017Updated 8 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆55Mar 2, 2026Updated 5 months ago
- Code for Method Dispatch article☆13Feb 11, 2015Updated 11 years ago
- SipHash implementation with hand inlining the SIPROUND☆15Jun 8, 2014Updated 12 years ago
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆44Nov 28, 2018Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- My rust utilities☆11Dec 4, 2017Updated 8 years ago
- Shonan #143: Programming Language Support for Data-intensive Applications☆15Jul 1, 2019Updated 7 years ago
- Type checking ifdef variability☆80Sep 7, 2021Updated 4 years ago
- Examples to illustrate the use of experimental OCaml macros☆13Jan 5, 2018Updated 8 years ago
- A candidate indexed, linked list data structure for OpenJDK.☆17Dec 7, 2025Updated 8 months ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated 2 years ago
- ☆13Feb 18, 2020Updated 6 years ago
- Staged Streams and other stuff☆19Jul 10, 2022Updated 4 years ago
- Port of Cyc to Common Lisp☆27May 11, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Papers I (+ collaborators) have written or am currently writing☆19Jan 15, 2018Updated 8 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
- Web server infrastructure for Standard ML☆15Feb 14, 2026Updated 6 months ago
- Materials for my talk “Unzipping Immutability”☆80Oct 6, 2016Updated 9 years ago
- benchmark compilation of Dotty☆16Aug 3, 2026Updated 3 weeks ago
- 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
- Collection of Idris snippets☆25Dec 23, 2025Updated 8 months ago
- KLIC: Portable implementation of KL1. Forked from "https://www.ueda.info.waseda.ac.jp/software-j.html"☆16Oct 27, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆46Apr 2, 2020Updated 6 years ago
- LjES : 3D framework for LuaJIT on Raspberry Pi☆22Dec 7, 2017Updated 8 years ago
- ☆13Oct 18, 2017Updated 8 years ago
- Project Base Directory Specification☆43Feb 17, 2024Updated 2 years ago
- EAI Patterns with Actor Model by Vaughn Vernon☆14Jan 18, 2014Updated 12 years ago
- Top4J is a lightweight, low overhead, production-ready performance analysis tool for the Java runtime environment☆21Updated this week
- Solver for multi-way, multi-output dataflow property models☆33Jun 20, 2013Updated 13 years ago