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 2 years ago
- Large-Scale Sequence Mining with Hierarchies☆13Mar 13, 2015Updated 11 years ago
- Simulation on different pipelines to analyse functional connectivity from EEG data☆12Jun 23, 2023Updated 3 years ago
- A fully adaptive, zero-tuning parameter manager that enables efficient distributed machine learning training☆21Feb 23, 2023Updated 3 years ago
- Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.☆15May 5, 2019Updated 7 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.
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Apr 3, 2021Updated 5 years ago
- The research papers I have published (Daniel M German)☆26Apr 10, 2019Updated 7 years ago
- Blind Code Reviews☆35Jul 8, 2019Updated 7 years ago
- ☆16Apr 10, 2024Updated 2 years ago
- ☆21May 20, 2022Updated 4 years ago
- An (in progress) implementation of a CTS → rule 110 compiler☆12Aug 14, 2020Updated 6 years ago
- Vers une recherche reproductible : faire évoluer ses pratiques☆40Nov 29, 2019Updated 6 years ago
- The Candle theorem prover (fork of the HOL Light sources)☆27Aug 25, 2026Updated last month
- ☆12Oct 19, 2014Updated 11 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.
- R-based visualization techniques for the StarPU runtime☆14Sep 2, 2026Updated last month
- Website in org mode☆42Mar 3, 2025Updated last year
- `@code_costs`: a variant of `@code_typed` with estimated costs☆13Sep 1, 2020Updated 6 years ago
- Opinionated Framework for Developing Packages 🤷☆10Apr 27, 2018Updated 8 years ago
- vim-orgmode is an attempt to port Emacs org-mode to vim☆12Oct 11, 2015Updated 11 years ago
- moved -> 'lucid.system'☆12Feb 15, 2017Updated 9 years ago
- Scrape+plot TOP500 data for Wikipedia graphs☆14Aug 21, 2023Updated 3 years ago
- A pure-Julia, BLIS-style dgemm demo.☆16Sep 13, 2018Updated 8 years ago
- Diceware passphrase generator☆20Oct 14, 2013Updated 12 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A short book on cooperative aspects of software engineering.☆63Sep 12, 2026Updated last month
- RatPack application w/Zipkin tracing☆10Jan 3, 2019Updated 7 years ago
- Website for M-x Research Events☆19Mar 1, 2025Updated last year
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 7 years ago
- A github action to setup a small SLURM cluster for testing purposes.☆15Jul 20, 2025Updated last year
- 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 4 years ago
- A code formatting tool for Julia inspired by gofmt and rustfmt☆15Aug 28, 2018Updated 8 years ago
- pixelsort project☆11Jan 15, 2016Updated 10 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.
- Lecture notes for teaching Haskell to those who want to read it☆55May 16, 2022Updated 4 years ago
- FIGR-8, but images in .SVG vector graphics format☆16Feb 16, 2019Updated 7 years ago
- ☆17Dec 8, 2023Updated 2 years ago
- Code for Method Dispatch article☆13Feb 11, 2015Updated 11 years ago
- A GPU-based cross-platform UI library☆13Dec 7, 2019Updated 6 years ago
- Portable native Erlang raw socket interface using pcap☆33Jan 18, 2024Updated 2 years ago
- Estimating neural network runtime characteristics☆13Mar 25, 2023Updated 3 years ago