2AD analysis prototype and logs from sample applications
☆23Mar 23, 2017Updated 9 years ago
Alternatives and similar repositories for acidrain
Users that are interested in acidrain are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CMDBAC - Carnegie Mellon Database Application Catalog☆36Oct 6, 2021Updated 4 years ago
- Get the first page of all the papers in one conference☆14Mar 19, 2019Updated 7 years ago
- 最高会津若松情報🍜🍣🍛🍝🌮🍜☆16May 25, 2017Updated 9 years ago
- Vimmerさん！colorschemeですよ、colorscheme！☆27Dec 23, 2017Updated 8 years ago
- The logging module of the DBx1000 database.☆16Nov 2, 2020Updated 5 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.
- ☆22Oct 9, 2022Updated 3 years ago
- FOEDUS main source code repository☆65Jun 26, 2017Updated 8 years ago
- The community language built on top of the Erlang VM☆19Jul 6, 2014Updated 11 years ago
- ☆20Nov 22, 2022Updated 3 years ago
- Source code for the SIGMOD '23 paper “Polaris: Enabling Transaction Priority in Optimistic Concurrency Control”☆27Jul 10, 2023Updated 2 years ago
- Website for Systems Research Seminar at UIUC☆21May 7, 2026Updated last month
- ☆11Nov 14, 2021Updated 4 years ago
- ☆10Jul 6, 2023Updated 2 years ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 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.
- Open-Channel SSD emulator using memory☆22Nov 1, 2017Updated 8 years ago
- Cicada SIGMOD 2017 evaluation☆17Sep 19, 2017Updated 8 years ago
- Get more sleep with Sleeper!☆15Mar 9, 2024Updated 2 years ago
- Software Transactional Objects☆57Apr 5, 2024Updated 2 years ago
- The official repo for the paper Can ChatGPT replace StackOverflow? A Study on Robustness and Reliability of Large Language Model Code Gen…☆20Feb 27, 2024Updated 2 years ago
- Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.☆14Oct 31, 2025Updated 7 months ago
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- OmniFlix inSync for communities & DAOs☆10Aug 1, 2025Updated 10 months ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Feb 2, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆37Jul 26, 2022Updated 3 years ago
- ☆15Oct 9, 2025Updated 8 months ago
- A Vite plugin for Melange☆13Apr 21, 2026Updated last month
- Rust programming, in hindi.☆18Oct 2, 2021Updated 4 years ago
- A zero-config SQLite wrapper written in CoffeeScript☆26Jun 15, 2010Updated 16 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- Draw lightsabers using Racket's pict library☆11Jul 31, 2019Updated 6 years ago
- A frontend for the Racket Package Catalog.☆13May 20, 2026Updated 3 weeks ago
- Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache☆12Feb 25, 2025Updated last year
- 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.
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- SRP (Secure Remote Password) 6/6a library for Elixir☆12Nov 5, 2017Updated 8 years ago
- This contains the files needed to make the Digikeyboard module for a digispark (in arduino) to work emulating a keyboard in a systems BIO…☆15May 7, 2020Updated 6 years ago
- My accepted! proposal for the unitary fund quantum computing grant. Also accepted as an abstract to a conference. See github.com/LSaldyt/…☆12Jan 12, 2019Updated 7 years ago
- Implementation and benchmark of lock-free Hopscotch Hashing☆11Oct 31, 2019Updated 6 years ago
- ☆23Mar 29, 2021Updated 5 years ago
- The Corba and Cos* applications from OTP☆17Feb 16, 2026Updated 4 months ago