Meta-repository for SnipPy
☆17Nov 29, 2021Updated 4 years ago
Alternatives and similar repositories for SnipPy
Users that are interested in SnipPy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆40Mar 20, 2026Updated 7 months ago
- ☆24Jan 8, 2021Updated 5 years ago
- Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.☆10Sep 6, 2022Updated 4 years ago
- ☆18Oct 9, 2023Updated 3 years ago
- Replication package for ESEC/FSE-2019 submission titled Diversity Web Test Generation☆15Feb 13, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Multilingual Code Co-Evolution Using Large Language Models☆14Dec 8, 2024Updated last year
- A simple implementation of XTT, "A cubical language for Bishop sets"☆28Apr 22, 2022Updated 4 years ago
- Call graph generator for JVM bytecode☆20Feb 21, 2017Updated 9 years ago
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 4 years ago
- An experimental hardware compiler☆14Aug 21, 2026Updated 2 months ago
- ☆17Nov 11, 2021Updated 4 years ago
- Using e-graphs to synthesize netlists from boolean logic.☆14Jul 26, 2023Updated 3 years ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 4 years ago
- RISC-V emulator in pure Nix 🤪 because☆18Sep 14, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆17Jan 5, 2022Updated 4 years ago
- Let's write a Debugger!☆30Mar 10, 2018Updated 8 years ago
- OCaml Bindings to MLIR☆16Dec 11, 2020Updated 5 years ago
- Global abbreviation for fish shell☆15Jan 24, 2021Updated 5 years ago
- A stream to RTL compiler based on MLIR and CIRCT☆17Nov 15, 2022Updated 3 years ago
- The implementation of an SMTLib dialect for xDSL☆19Apr 16, 2026Updated 6 months ago
- Static security for database-backed Haskell applications using Liquid Haskell☆19May 29, 2024Updated 2 years ago
- ☆12May 6, 2025Updated last year
- Compiler Testing using Template Java Programs☆30Jan 15, 2024Updated 2 years ago
- 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.
- CoditT5: Pretraining for Source Code and Natural Language Editing☆29Jan 16, 2025Updated last year
- Simple modal text editor in Elm☆11May 21, 2015Updated 11 years ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Jul 8, 2026Updated 3 months ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated 2 years ago
- 天体のメソッドを実装☆17Jun 1, 2022Updated 4 years ago
- Proof of concept☆13Oct 25, 2015Updated 11 years ago
- Improv JS Work-in-Progress☆12Feb 20, 2016Updated 10 years ago
- 😭 Why you monorepo? Polyrepo!☆11Oct 16, 2025Updated last year
- Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker☆54Jul 17, 2024Updated 2 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.
- GitBucket plugin for Fess☆22Jul 22, 2022Updated 4 years ago
- Planning at the speed of thought☆13Mar 15, 2018Updated 8 years ago
- Asynchronous and more versatile replacement of posix_spawn☆25Jul 1, 2021Updated 5 years ago
- The RelationalAI command line interface☆12Oct 20, 2026Updated last week
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- ☆31Jan 25, 2022Updated 4 years ago
- ☆10Feb 17, 2022Updated 4 years ago