Tool implementing Property Probes
☆23Jun 14, 2026Updated 2 months ago
Alternatives and similar repositories for codeprober
Users that are interested in codeprober are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MetaDL: Datalog analyzing Datalog, Java or any language of your choice☆17Jun 27, 2025Updated last year
- Attribute grammar Based Language Extensions for C☆44Feb 20, 2026Updated 6 months ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 5 years ago
- An attribute grammar-based programming language for composable language extensions☆72Updated this week
- HIPHOP (Handy Image Processing for Highly Over-caffeinated Programmers), a domain specific language for image processing.☆14Apr 6, 2021Updated 5 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.
- An integrated context-aware scanner and parser generator☆23Dec 4, 2023Updated 2 years ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Jul 14, 2025Updated last year
- The CompCert formally-verified C compiler☆11Aug 24, 2026Updated last week
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆13Updated this week
- ☆13Apr 13, 2023Updated 3 years ago
- Compcert repository of the Yale FLINT Group☆12Mar 10, 2026Updated 5 months ago
- archived prototype for sketching dynamic models☆46Jul 22, 2026Updated last month
- A reimagining of Steve Wozniak's Wozmon for AMD64☆10Jul 9, 2025Updated last year
- How to create a valid polyglot HTML/JS/WebAssembly module -☆12Oct 15, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Collect the letters and cross the waves to your goal!☆19Jan 19, 2026Updated 7 months ago
- Solutions to the exercises in and miscellaneous material for the book "Types and Programming Languages" by Benjamin C. Pierce.☆12Jun 14, 2019Updated 7 years ago
- Kotlin Analysis API Documentation☆25Aug 24, 2026Updated last week
- ☆12Jan 8, 2016Updated 10 years ago
- A library that records Emacs inter-key timings.☆10Oct 11, 2017Updated 8 years ago
- ☆18May 31, 2024Updated 2 years ago
- nool is nool☆11Aug 18, 2026Updated 2 weeks ago
- FlowMatic: An Immersive Authoring Tool for Creating Interactive Scenes in Virtual Reality☆12Dec 1, 2023Updated 2 years ago
- Clock In/Clock Out buttons per org heading to simplify clocking in whether on a phone or a desktop.☆11Feb 19, 2023Updated 3 years 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.
- The beginnings of a fast, modern, multithreaded, dynamically typed langauge☆19Jul 10, 2026Updated last month
- The Art of Propagator Magic in Typescript☆16May 7, 2026Updated 3 months ago
- Command line client for interacting with Travis CI☆19Feb 11, 2022Updated 4 years ago
- An HTML documentation generator for Coq source files☆31Jun 15, 2026Updated 2 months ago
- Lightweight Performance Control System☆22Aug 19, 2026Updated 2 weeks ago
- A very simple non-linear time-domain circuit simulator using multidimensional newton's method to solve kirchoff's current law☆15Jan 19, 2023Updated 3 years ago
- Convert Adobe InDesign Markup Language Files (IDML) into JSON and JSON into IDML.☆20Mar 6, 2026Updated 5 months ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated last year
- A highly expressive programming language and live coding runtime for distributed computation.☆16Apr 29, 2026Updated 4 months 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.
- Experimental system to expose accessibility trees as read-write interfaces and augment existing apps with new UI affordances.☆28Jan 6, 2026Updated 7 months ago
- WebAssembly Language based Operating System☆18Feb 12, 2023Updated 3 years ago
- JoanAudit - A security slicing tool that helps security auditors to perform their security auditing tasks more efficiently☆10Sep 6, 2017Updated 8 years ago
- ☆22Apr 1, 2013Updated 13 years ago
- InteractiVenn: a web-based tool for the analysis of sets through Venn diagrams☆30Jul 7, 2025Updated last year
- A starter project for Middleman and VueJS☆12Jul 28, 2017Updated 9 years ago
- Instantly address any visible text in Emacs via hats☆31Aug 15, 2026Updated 2 weeks ago