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.☆37Mar 1, 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
- The Capsule Hash Trie Collections Library☆412Jan 26, 2026Updated 2 months ago
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Apr 19, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- company-mode completion back-end for MLton/Standard ML☆16Dec 7, 2020Updated 5 years ago
- Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations☆55Jun 19, 2019Updated 6 years ago
- A type-level logic programming language embedded in F#☆34Mar 5, 2018Updated 8 years ago
- MLton for scalable multicore architectures☆59Mar 10, 2014Updated 12 years ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- A Datalog implementation with an OCaml inspired module system☆42Apr 2, 2026Updated last week
- clojure.spec for Datomic☆13Sep 27, 2017Updated 8 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆54Mar 2, 2026Updated last month
- ☆22Jun 25, 2015Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Nov 28, 2018Updated 7 years ago
- A generic top-down-operator-precedence parser written in F#☆16Jun 14, 2021Updated 4 years ago
- A Java version of LLVM Core by Hao Liu☆22Jan 31, 2013Updated 13 years ago
- A candidate indexed, linked list data structure for OpenJDK.☆17Dec 7, 2025Updated 4 months ago
- My experimental programming language using Truffle☆113Feb 28, 2020Updated 6 years ago
- Web server infrastructure for Standard ML☆16Feb 14, 2026Updated last month
- Port of Cyc to Common Lisp☆23Updated this week
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated last year
- ☆13Feb 18, 2020Updated 6 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Examples to illustrate the use of experimental OCaml macros☆13Jan 5, 2018Updated 8 years ago
- ☆23Dec 17, 2013Updated 12 years ago
- Google's Java documentation generation tool. Static page generator which uses templates and has the possibility for versioning.☆11Apr 24, 2018Updated 7 years ago
- Papers I (+ collaborators) have written or am currently writing☆20Jan 15, 2018Updated 8 years ago
- [discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.☆18Jun 9, 2016Updated 9 years ago
- Materials for my talk “Unzipping Immutability”☆80Oct 6, 2016Updated 9 years ago
- Literate Programming Solution to the Potter Kata (http://codingdojo.org/cgi-bin/wiki.pl?KataPotter) using Emacs' Org Babel mode☆27Jul 3, 2013Updated 12 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Fast basic data structures for R☆11Apr 6, 2015Updated 11 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Dec 21, 2015Updated 10 years ago
- ☆13Oct 18, 2017Updated 8 years ago
- The MLtonLibrary repository☆36Apr 4, 2023Updated 3 years ago
- emacs for data☆12Aug 1, 2018Updated 7 years ago
- Java Native Runtime Enhanced X-platform I/O☆32Mar 31, 2026Updated last week
- Java port of a concurrent trie hash map implementation from the Scala collections library☆155Oct 13, 2020Updated 5 years ago