Artifact for our TOPLAS paper On the Impact of Programming Languages on Code Quality
☆14Dec 11, 2019Updated 6 years ago
Alternatives and similar repositories for TOPLAS19_Artifact
Users that are interested in TOPLAS19_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:
- HOL Guidebook☆12Oct 11, 2024Updated last year
- Large-Scale Sequence Mining with Hierarchies☆13Mar 13, 2015Updated 11 years ago
- The Candle theorem prover (fork of the HOL Light sources)☆20Updated this week
- Simulation on different pipelines to analyse functional connectivity from EEG data☆12Jun 23, 2023Updated 2 years ago
- A fully adaptive, zero-tuning parameter manager that enables efficient distributed machine learning training☆21Feb 23, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Apr 3, 2021Updated 5 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55May 16, 2022Updated 3 years ago
- Blind Code Reviews☆35Jul 8, 2019Updated 6 years ago
- ☆16Apr 10, 2024Updated 2 years ago
- The research papers I have published (Daniel M German)☆25Apr 10, 2019Updated 7 years ago
- An (in progress) implementation of a CTS → rule 110 compiler☆11Aug 14, 2020Updated 5 years ago
- Vers une recherche reproductible : faire évoluer ses pratiques☆40Nov 29, 2019Updated 6 years ago
- ☆12Oct 19, 2014Updated 11 years ago
- ☆21May 20, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Website in org mode☆42Mar 3, 2025Updated last year
- `@code_costs`: a variant of `@code_typed` with estimated costs☆13Sep 1, 2020Updated 5 years ago
- Opinionated Framework for Developing Packages 🤷☆10Apr 27, 2018Updated 7 years ago
- R-based visualization techniques for the StarPU runtime☆14Mar 24, 2026Updated 3 weeks ago
- vim-orgmode is an attempt to port Emacs org-mode to vim☆12Oct 11, 2015Updated 10 years ago
- moved -> 'lucid.system'☆12Feb 15, 2017Updated 9 years ago
- Netflix JavaScript API☆18Sep 29, 2017Updated 8 years ago
- Redis module for creating interval sets, handling them and filtering out relevant sets by number in range.☆22Jun 17, 2022Updated 3 years ago
- R dashboard as a designer☆10Oct 29, 2015Updated 10 years 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.
- A pure-Julia, BLIS-style dgemm demo.☆16Sep 13, 2018Updated 7 years ago
- Scrape+plot TOP500 data for Wikipedia graphs☆14Aug 21, 2023Updated 2 years ago
- A short book on cooperative aspects of software engineering.☆63Jan 27, 2026Updated 2 months ago
- Website for M-x Research Events☆19Mar 1, 2025Updated last year
- RatPack application w/Zipkin tracing☆10Jan 3, 2019Updated 7 years ago
- A github action to setup a small SLURM cluster for testing purposes.☆14Jul 20, 2025Updated 8 months ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 7 years ago
- Keshif+ is the rapid visual data exploration web app for structured tabular data. Designed, developed and maintained by @adilyalcin☆13Feb 19, 2024Updated 2 years ago
- Large scale frequent sequence mining☆43Aug 9, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A set of visualization engines.☆14Updated this week
- A code formatting tool for Julia inspired by gofmt and rustfmt☆15Aug 28, 2018Updated 7 years ago
- ☆12May 5, 2021Updated 4 years ago
- Diceware passphrase generator☆20Oct 14, 2013Updated 12 years ago
- An example code for my article☆14Oct 29, 2018Updated 7 years ago
- FIGR-8, but images in .SVG vector graphics format☆15Feb 16, 2019Updated 7 years ago
- pixelsort project☆11Jan 15, 2016Updated 10 years ago