Autoreject.org — An automatic review generator
☆69Jan 28, 2024Updated 2 years ago
Alternatives and similar repositories for autoreject
Users that are interested in autoreject are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The prototype for NSDI paper "NetHint: White-Box Networking for Multi-Tenant Data Centers"☆26Feb 2, 2024Updated 2 years ago
- This is the Group-Meeting collections of HKUST System NetworkING (SING) Research Group.☆27Oct 3, 2019Updated 6 years ago
- A PCRE2 compatible regular expression engine written in Lean 4.☆20Apr 24, 2026Updated last month
- Herald: Accelerating Neural Recommendation Training with Embedding Scheduling (NSDI 2024)☆23May 9, 2024Updated 2 years ago
- ☆13May 30, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Flow level simulation☆15Nov 22, 2015Updated 10 years ago
- binary-to-text encoding schemes that represent binary data in an unicode string format☆10Jun 29, 2021Updated 4 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- Code of Truman: Constructing Device Behavior Models from OS Drivers to Fuzz Virtual Devices (NDSS 2025)☆24Apr 11, 2025Updated last year
- A Quick Research of Active Automata Learning☆34Mar 13, 2020Updated 6 years ago
- Flightplan is a toolchain for the flexible decomposition of P4 programs and their allocation to heterogeneous hardware to improve perform…☆29Apr 14, 2021Updated 5 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- Proof-of-concept for I See Dead Micro-Ops transient execution attack☆15Nov 3, 2021Updated 4 years ago
- USTC Software 2016☆13Dec 3, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- The ACL RD-TEC 2.0: A corpus of annotated terms in context from domain of computational linguistics☆24Oct 7, 2016Updated 9 years ago
- A 3d printed case design for Lichee Pi 4A☆11May 13, 2023Updated 3 years ago
- User-mode trap-and-emulate hypervisor for RISC-V☆14Feb 11, 2022Updated 4 years ago
- this repository contains the dataset and the source code for the EMNLP 2019 paper "A Neural Citation Count Prediction Model based on Peer…☆10Oct 8, 2021Updated 4 years ago
- Simple tool for creating pitch timeline☆11May 21, 2022Updated 4 years ago
- ☆15May 13, 2024Updated 2 years ago
- Tomasulo Simulator written in React as the project for Computer Architecture course, Spring 2019, Tsinghua University☆11Jun 9, 2019Updated 6 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 10 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- compile-time DFA-based regular expression engine with C++ template and constexpr☆56Dec 2, 2019Updated 6 years ago
- ☆66Jun 25, 2024Updated last year
- ☆13Apr 19, 2025Updated last year
- Linux porting to NonTrivialMIPS (based on linux-stable)☆12Aug 17, 2019Updated 6 years ago
- Relaxed Rust (for cats)☆14Nov 20, 2019Updated 6 years ago
- BisPy - Python bisimulation library☆17Jan 21, 2022Updated 4 years ago
- jie.ac.cn 中国杰学院☆11Jun 27, 2023Updated 2 years ago
- ☆12Jul 10, 2020Updated 5 years ago
- ☆64Jun 29, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Small tensor library a la GLSL☆17Oct 28, 2022Updated 3 years ago
- The open source taint analysis engine for the AI era. AST-pattern rules. Whole-program taint analysis. Formal substrate for AI applicatio…☆49Updated this week
- ☆16Apr 17, 2026Updated last month
- A Data Visualization tool for choosing reviewers☆21Jan 13, 2021Updated 5 years ago
- 根据进程pid，利用ptrace从内存中重建ELF可执行文件☆16May 17, 2019Updated 7 years ago
- YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)☆42Jun 3, 2025Updated 11 months ago
- A couple of programs for computercraft (a mod for minecraft). No guarantees.☆13Apr 25, 2015Updated 11 years ago