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
Sorting:
- ☆21Jan 8, 2021Updated 5 years ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.☆10Sep 6, 2022Updated 3 years ago
- pytest-inline is a pytest plugin for writing inline tests.☆19Dec 11, 2025Updated 3 months ago
- ☆17Oct 9, 2023Updated 2 years ago
- Multilingual Code Co-Evolution Using Large Language Models☆13Dec 8, 2024Updated last year
- SQL Optimizations using MLIR☆12Apr 5, 2020Updated 5 years ago
- Research material about software engineering at KTH☆18Aug 5, 2024Updated last year
- A tiny OCaml compiler with JVM backend 🐫☕️☆11Mar 12, 2019Updated 7 years ago
- Call graph generator for JVM bytecode☆18Feb 21, 2017Updated 9 years ago
- This folder container replication materials for the paper accepted☆12Sep 27, 2021Updated 4 years ago
- Svg based heatmaps in Elm☆14May 10, 2017Updated 8 years ago
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 3 years ago
- Mutation analysis tool for Coq verification projects☆29Oct 13, 2020Updated 5 years ago
- C++ implementation of an approximate distinct counter by HIP estimator on HyperLogLog☆14Dec 3, 2016Updated 9 years ago
- Using e-graphs to synthesize netlists from boolean logic.☆14Jul 26, 2023Updated 2 years ago
- OCaml Bindings to MLIR☆15Dec 11, 2020Updated 5 years ago
- Stable diffusion dedicated Hardware with multiple pipelined processor cores☆14Mar 5, 2026Updated 2 weeks ago
- Generic and lazy tree traversal algorithms☆13Jul 12, 2020Updated 5 years ago
- Let's write a Debugger!☆30Mar 10, 2018Updated 8 years ago
- Source file fragment location and display utilities for Rust.☆17Dec 2, 2021Updated 4 years ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated last year
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Sep 4, 2025Updated 6 months ago
- Simple modal text editor in Elm☆11May 21, 2015Updated 10 years ago
- A formalization of first-order logic and Peano's axioms in Python☆21Jun 21, 2025Updated 9 months ago
- Flight Recorder allows to record client program execution and examine it later☆11Sep 18, 2020Updated 5 years ago
- Duet: A Language for Differential Privacy☆16Jul 5, 2022Updated 3 years ago
- CoditT5: Pretraining for Source Code and Natural Language Editing☆28Jan 16, 2025Updated last year
- ☆12May 13, 2015Updated 10 years ago
- Compiles wisp expressions to Javascript in your Clojure project☆12Dec 30, 2018Updated 7 years ago
- Database smell detector☆13Jan 24, 2018Updated 8 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- Generate railroad diagrams from code or BNF, generate BNF from code☆20Oct 9, 2017Updated 8 years ago
- Experimental MLIR Rust compiler☆28Sep 3, 2023Updated 2 years ago
- Hyper Super Duper sublime text 3 theme for industrial coding.☆13Sep 23, 2019Updated 6 years ago
- A Datalog extension to reason about time with CTL operators☆14Nov 29, 2019Updated 6 years ago
- WebAssembly version of Plorth programming language☆16Dec 20, 2017Updated 8 years ago
- Neovim plugin for automaticaly passing extra context for LLM on code snippet copy to clipboard☆17Oct 11, 2024Updated last year