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
- 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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)☆25Apr 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 5 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)☆24Updated this week
- ☆12Oct 19, 2014Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- R-based visualization techniques for the StarPU runtime☆14Jul 7, 2026Updated 2 weeks ago
- 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 8 years 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
- Scrape+plot TOP500 data for Wikipedia graphs☆14Aug 21, 2023Updated 2 years ago
- A pure-Julia, BLIS-style dgemm demo.☆16Sep 13, 2018Updated 7 years ago
- Diceware passphrase generator☆20Oct 14, 2013Updated 12 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A short book on cooperative aspects of software engineering.☆63Jan 27, 2026Updated 5 months ago
- 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.☆14Jul 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 3 years ago
- A code formatting tool for Julia inspired by gofmt and rustfmt☆15Aug 28, 2018Updated 7 years ago
- pixelsort project☆11Jan 15, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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☆15Feb 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
- R dashboard as a designer☆10Oct 29, 2015Updated 10 years ago