☆15Jun 16, 2026Updated 4 months ago
Alternatives and similar repositories for chopchop
Users that are interested in chopchop are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15May 5, 2025Updated last year
- Most influential papers in programming languages☆62Jan 20, 2025Updated last year
- Mapping intelligence for enterprise data migrations: schema mapping, lineage, and transformation traceability that compounds across every…☆15May 7, 2026Updated 5 months ago
- PL/SE conference deadline countdowns☆18Nov 23, 2020Updated 5 years ago
- Clone detector using N-gram, Inverted index, and LCS☆21Sep 21, 2026Updated last month
- 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.
- Some simple LLVM Pass examples☆16Aug 7, 2022Updated 4 years ago
- A SyGuS Solver☆30May 18, 2025Updated last year
- 📐 Results for the Ranking Metrics submission @ GLB 2022☆10Apr 6, 2022Updated 4 years ago
- Algorithms from the book "Elements of Statistical Learning", implemented in Python☆14Mar 29, 2015Updated 11 years ago
- Godel Checker with data race detection☆10Feb 2, 2022Updated 4 years ago
- Dynamic Analysis for Concurrent Programs☆33Oct 17, 2026Updated last week
- Finding the potential null pointer exception☆29Dec 1, 2020Updated 5 years ago
- Duet: static analysis for unbounded concurrency☆31Updated this week
- OmniCode: A Diverse Software Engineering Benchmark for Evaluating Large Language Models☆28Apr 17, 2026Updated 6 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.
- Cases for high concurrency go programs☆11Jan 18, 2021Updated 5 years ago
- A simple and extensible state machine implementation in Rust☆10Feb 16, 2026Updated 8 months ago
- Make an existing proof easier to inspect by exposing its hierarchy, dependencies, scope, and unresolved obligations.☆22Sep 6, 2026Updated last month
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- Formal verification agent for design or implementation☆17Nov 18, 2025Updated 11 months ago
- ios-scroll-lock React Package☆12Jul 12, 2025Updated last year
- Security papers about software vulnerabilities and exploits☆15Jan 16, 2019Updated 7 years ago
- Code to generate figures of paper "When do spectral gradient updates help in deep learning?"☆19Dec 3, 2025Updated 10 months ago
- ☆13Mar 6, 2023Updated 3 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.
- 🎬 Production-ready animation library for Leptos with complete Motion Studio, WebGL acceleration, and Framer Motion-inspired API. Built w…☆13Oct 6, 2025Updated last year
- This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification" (ACL 2026 Findi…☆20Apr 7, 2026Updated 6 months ago
- Pyasmer is a python bytecode manipulation library☆10Nov 20, 2024Updated last year
- 浙江大学软件工程专业课程资料☆20Oct 25, 2022Updated 4 years ago
- 韦编: A Note System Powered by Typst☆19Aug 12, 2026Updated 2 months ago
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- MCP server for managing local PTY sessions and SSH-backed remote workflows that you really want.☆15Apr 10, 2026Updated 6 months ago
- ☆28May 12, 2026Updated 5 months ago
- The lightweight, distributed relational database built on SQLite.☆14Apr 29, 2023Updated 3 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.
- Quyet: calibrated decision models☆37Oct 10, 2026Updated 2 weeks ago
- A high-performance verifiable storage layer for appchains and L2s.☆13Jan 5, 2026Updated 9 months ago
- Visor Finance 攻击事件的分析和复现☆10Dec 22, 2021Updated 4 years ago
- Ray tracing on the Ethereum Virtual Machine☆12May 5, 2021Updated 5 years ago
- 南京大学gpa计算器，支持wes算法☆15Aug 15, 2023Updated 3 years ago
- Tempest plugin for testing and verifying RBAC policy enforcement. Mirror of code maintained at opendev.org.☆11Apr 13, 2023Updated 3 years ago
- Code and experiments for the paper "A Partitioning Algorithm for Maximum Common Subgraph Problems"☆15Jun 17, 2020Updated 6 years ago