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
- A fully adaptive, zero-tuning parameter manager that enables efficient distributed machine learning training☆21Feb 23, 2023Updated 3 years ago
- Simulation on different pipelines to analyse functional connectivity from EEG data☆12Jun 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.
- ☆16Apr 10, 2024Updated 2 years ago
- [ARCHIVE] To analyze samples downloaded over insecure channel and secure channels☆14Nov 1, 2019Updated 7 years ago
- The research papers I have published (Daniel M German)☆26Apr 10, 2019Updated 7 years ago
- Repo for the talk "Monad Transformers For The Easily Confused", for LambdaConf 2018☆19Jun 4, 2018Updated 8 years ago
- Acesso à Justiça:☆10Apr 12, 2017Updated 9 years ago
- An (in progress) implementation of a CTS → rule 110 compiler☆12Aug 14, 2020Updated 6 years ago
- Blind Code Reviews☆35Jul 8, 2019Updated 7 years ago
- A short book on cooperative aspects of software engineering.☆63Sep 12, 2026Updated last month
- SIGPLAN Empirical Evaluation Committee☆11Oct 25, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- RedisGreen Lua Script Library☆11Feb 25, 2016Updated 10 years ago
- ☆21May 20, 2022Updated 4 years ago
- Vers une recherche reproductible : faire évoluer ses pratiques☆40Nov 29, 2019Updated 6 years ago
- Opinionated Framework for Developing Packages 🤷☆10Oct 11, 2026Updated 3 weeks ago
- ☆13Jun 14, 2012Updated 14 years ago
- The Candle theorem prover (fork of the HOL Light sources)☆30Updated this week
- `@code_costs`: a variant of `@code_typed` with estimated costs☆13Sep 1, 2020Updated 6 years ago
- ☆12Oct 19, 2014Updated 12 years ago
- Website in org mode☆42Oct 25, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- R-based visualization techniques for the StarPU runtime☆14Oct 22, 2026Updated last week
- Redis Module Testing Utility☆11Mar 10, 2020Updated 6 years ago
- Supplement material for "Assessing Effects of Task and Data Distribution on the Effectiveness of Visual Encodings".☆14Mar 6, 2019Updated 7 years ago
- ☆39Sep 17, 2026Updated last month
- moved -> 'lucid.system'☆12Feb 15, 2017Updated 9 years ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 7 years ago
- BOAST aims at providing a framework to metaprogram, benchmark and validate computing kernels☆14Jan 25, 2022Updated 4 years ago
- RatPack application w/Zipkin tracing☆10Jan 3, 2019Updated 7 years ago
- Scrape+plot TOP500 data for Wikipedia graphs☆14Aug 21, 2023Updated 3 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.
- A pure-Julia, BLIS-style dgemm demo.☆16Sep 13, 2018Updated 8 years ago
- A simple Redis-based queue.☆12Mar 8, 2012Updated 14 years ago
- Leiningen plugin to generate JS extern files (from metadata)☆10Jul 24, 2014Updated 12 years ago
- A system for running blockable Python in the browser, using Pyodide and Unthrow, specifically for CS Education☆10Jul 5, 2024Updated 2 years ago
- A ProcessBuilder look-alike based entirely on native POSIX APIs☆44Oct 24, 2025Updated last year
- Haskell-flavoured LISPish language thingy☆11May 28, 2015Updated 11 years ago
- Project to make writing plugins across major versions of flake8 easier☆11Aug 11, 2025Updated last year