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.☆40Updated this week
- A number of collection implementations for Scala (including a few ported from Clojure)☆27Aug 4, 2010Updated 16 years ago
- The Capsule Hash Trie Collections Library☆417Sep 10, 2026Updated last month
- RRB-Trees: Efficient Immutable Vectors☆53Nov 5, 2012Updated 13 years ago
- Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations☆55Jun 19, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Java/Clojure TCP Connections done right☆11May 22, 2017Updated 9 years ago
- Recompile JavaScript without restarting your app☆23Oct 10, 2013Updated 13 years ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆56Updated this week
- Code for Method Dispatch article☆13Feb 11, 2015Updated 11 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 minimal Rust linker☆21Mar 19, 2026Updated 6 months ago
- Shonan #143: Programming Language Support for Data-intensive Applications☆15Jul 1, 2019Updated 7 years ago
- Examples to illustrate the use of experimental OCaml macros☆13Jan 5, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A candidate indexed, linked list data structure for OpenJDK.☆17Dec 7, 2025Updated 10 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 5 months ago
- Papers I (+ collaborators) have written or am currently writing☆19Jan 15, 2018Updated 8 years ago
- Concatenative relational interpreter in miniKanren☆22May 11, 2015Updated 11 years ago
- Web server infrastructure for Standard ML☆15Feb 14, 2026Updated 7 months ago
- A type-level logic programming language embedded in F#☆35Mar 5, 2018Updated 8 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.
- Data-centric metaprogramming for Scala☆17Aug 6, 2015Updated 11 years ago
- Collection of Idris snippets☆26Dec 23, 2025Updated 9 months ago
- ☆12Mar 5, 2026Updated 7 months ago
- ZFS backup checking system☆15Jul 8, 2018Updated 8 years ago
- Discontinued, use RxJava 2☆11Aug 24, 2016Updated 10 years ago
- ☆46Apr 2, 2020Updated 6 years ago
- [discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.☆18Jun 9, 2016Updated 10 years ago
- Assignments and support code for Geoff Hulten's machine learning course.☆11Dec 23, 2020Updated 5 years ago
- An evaluator with an expander.☆20Nov 30, 2015Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆13Oct 18, 2017Updated 8 years ago
- LjES : 3D framework for LuaJIT on Raspberry Pi☆22Dec 7, 2017Updated 8 years ago
- ELE 583 final project: a demo for Ivan Sutherland's SKETCHPAD, in Java.☆16May 12, 2015Updated 11 years ago
- Dictionary and set data structures using hash array-mapped tries (HAMT)☆34Mar 13, 2020Updated 6 years ago
- Solver for multi-way, multi-output dataflow property models☆33Jun 20, 2013Updated 13 years ago
- files from cl directory of parcftp about 2014☆12Jan 16, 2024Updated 2 years ago
- Hash Array Mapped Tries for Racket☆20Jan 30, 2017Updated 9 years ago