Python bindings for Comby
☆13Nov 7, 2023Updated 2 years ago
Alternatives and similar repositories for comby-python
Users that are interested in comby-python are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [ASE2024] Mutual Learning-Based Framework for Enhancing Robustness of Code Models via Adversarial Training☆11Sep 13, 2024Updated last year
- A prototype to write blog posts with executable ocaml code blocks☆10Apr 25, 2025Updated last year
- ☆18Updated this week
- We propose a novel adversarial example generation technique (i.e., CODA) for testing deep code models. Its key idea is to use code differ…☆20Oct 8, 2023Updated 2 years ago
- Documents related to the Code of Conduct☆17Apr 18, 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.
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Jul 3, 2017Updated 8 years ago
- ☆19Jul 27, 2024Updated last year
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated last year
- OCaml bindings for Clang☆18Jan 26, 2026Updated 3 months ago
- A JavaScript implementation of the Logic Programming System described in section 4.4 of "Structure and Interpretation of Computer Program…☆22Jan 25, 2012Updated 14 years ago
- @chawyehsu's $HOME☆13Apr 22, 2026Updated last week
- Semantic Crash Bucketing☆16Sep 8, 2020Updated 5 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- HTML5 version of the Age of Empires II technology tree.☆14Sep 3, 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.
- ☆26Nov 12, 2025Updated 5 months ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Nov 21, 2022Updated 3 years ago
- Provides a client to connect to [UPower](https://upower.freedesktop.org/) - the service that does power management on Linux.☆17Aug 25, 2025Updated 8 months ago
- Delete files to Recycle Bin from Windows command line☆20Mar 4, 2012Updated 14 years ago
- Wrapper around the OCaml `lsp` library to make it easier to write LSP servers☆37Apr 8, 2026Updated 3 weeks ago
- Metagenomic Analysis☆11Apr 5, 2021Updated 5 years ago
- GitHub Issues on the command line. Use your $EDITOR, not your browser.☆15Apr 4, 2023Updated 3 years ago
- IST'21 & SANER'22: Semantic-Preserving Program Transformations☆31Oct 25, 2022Updated 3 years ago
- GNU Units (mirror)☆16May 11, 2010Updated 15 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.
- Whispers in the Machine: Confidentiality in Agentic Systems☆44Apr 20, 2026Updated last week
- ☆30Sep 17, 2020Updated 5 years ago
- Semantically Search Emojis From the Command Line!☆13Nov 26, 2023Updated 2 years ago
- node.js neovim client for modern JavaScript programmers☆15Jul 23, 2018Updated 7 years ago
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆54Mar 12, 2025Updated last year
- FaCT++ is an efficient Description Logic reasoner compatible with OWL DL and OWL 2.☆12Jan 26, 2016Updated 10 years ago
- Store Fly app logs locally.☆13Nov 13, 2022Updated 3 years ago
- Mutation analysis tool for Coq verification projects☆30Oct 13, 2020Updated 5 years ago
- An OCaml library providing a C parser and lexer☆42Nov 8, 2024Updated last year
- 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.
- A swarm of LLM agents that will help you test, document, and productionize your code!☆18Updated this week
- Python API for rewriting GTIRB files☆19Mar 19, 2026Updated last month
- A comparison of Regular Expression features in various languages and libraries.☆18May 8, 2024Updated last year
- Effortlessly fuzz libraries with large API surfaces☆71Aug 18, 2021Updated 4 years ago
- Create dozens/hundreds/thousands/millions of random examples based on a pest grammar (PEG). It can be used for generate string/structured…☆15Jun 8, 2021Updated 4 years ago
- eCos 3.0 RTOS, with Xiilinx Zynq and NXP Vybrid support and other additions☆19Jul 4, 2016Updated 9 years ago
- Mutation Test Tool for Solidity☆16Jun 17, 2022Updated 3 years ago