msteindorfer / research-paper-oopsla15-artifactView external linksLinks
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
Sorting:
- Code for Method Dispatch article☆13Feb 11, 2015Updated 11 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Feb 1, 2026Updated 2 weeks ago
- RRB-Trees: Efficient Immutable Vectors☆52Nov 5, 2012Updated 13 years ago
- Hash Array Mapped Tries for Racket☆21Jan 30, 2017Updated 9 years ago
- Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations☆55Jun 19, 2019Updated 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
- Web server infrastructure for Standard ML☆15Jan 9, 2026Updated last month
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Apr 19, 2018Updated 7 years ago
- The Capsule Hash Trie Collections Library☆412Jan 26, 2026Updated 3 weeks ago
- A Java version of LLVM Core by Hao Liu☆22Jan 31, 2013Updated 13 years ago
- A robust Linear Genetic Programming implementation on the JVM using Kotlin.☆18Oct 25, 2021Updated 4 years ago
- company-mode completion back-end for MLton/Standard ML☆16Dec 7, 2020Updated 5 years ago
- Top4J is a lightweight, low overhead, production-ready performance analysis tool for the Java runtime environment☆19Mar 24, 2023Updated 2 years ago
- Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…☆94Feb 28, 2024Updated last year
- [discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.☆18Jun 9, 2016Updated 9 years ago
- Java load testing and other full system application tests☆26Feb 3, 2026Updated last week
- The MLtonLibrary repository☆36Apr 4, 2023Updated 2 years ago
- A type-level logic programming language embedded in F#☆33Mar 5, 2018Updated 7 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆54Jun 27, 2025Updated 7 months ago
- eddy - autocorrect for java☆48Oct 11, 2015Updated 10 years ago
- My experimental programming language using Truffle☆113Feb 28, 2020Updated 5 years ago
- A simple multithreaded http server☆34Sep 21, 2024Updated last year
- Java port of a concurrent trie hash map implementation from the Scala collections library☆154Oct 13, 2020Updated 5 years ago
- some quantile algorithm implementaton for stream data☆12Jul 24, 2018Updated 7 years ago
- ☆46Apr 2, 2020Updated 5 years ago
- Java port of a concurrent trie hash map implementation from the Scala collections library☆29Jan 27, 2025Updated last year
- An implementation of the Io programming language☆36May 1, 2016Updated 9 years ago
- Foment is an implementation of R7RS Scheme.☆70Sep 7, 2022Updated 3 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆208Jul 28, 2020Updated 5 years ago
- Eventuate chaos testing utilities☆28Sep 3, 2018Updated 7 years ago
- Modify character streams on the fly☆30May 1, 2021Updated 4 years ago
- Offheap Java POJOs with guaranteed memory alignment☆192Jul 30, 2013Updated 12 years ago
- Common Lisp web framework☆40Aug 30, 2024Updated last year
- Embeddable multi-Paxos For The JVM☆77Dec 27, 2024Updated last year
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Nov 28, 2018Updated 7 years ago
- the Scala delimited continuations plugin and library☆91Jun 22, 2020Updated 5 years ago
- Dictionary and set data structures using hash array-mapped tries (HAMT)☆34Mar 13, 2020Updated 5 years ago
- The WebScheme compiler☆40Apr 29, 2025Updated 9 months ago
- ☆36Jan 11, 2025Updated last year