☆25Apr 18, 2025Updated last year
Alternatives and similar repositories for Trinity
Users that are interested in Trinity are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A SQL and R Synthesizer Using Query Reverse Engineering☆24Aug 11, 2020Updated 5 years ago
- Synthesis API Refactor☆12May 17, 2022Updated 4 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆29Mar 20, 2021Updated 5 years ago
- Fast vectorized bitarrays for OCaml☆16Jul 11, 2023Updated 2 years ago
- Automatic parallel divide-and-conquer programs synthesizer☆16Dec 15, 2021Updated 4 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.
- safe executor for programming contest auto judge system☆25Sep 6, 2024Updated last year
- Research Artifact For Our Submission To VLDB☆11Oct 27, 2021Updated 4 years ago
- Racket-style higher-order contracts for Emacs Lisp☆16Jun 20, 2021Updated 4 years ago
- Interactive breakpoints!☆47Jan 9, 2026Updated 4 months ago
- Type-level rational puzzles in OCaml☆25Jun 8, 2016Updated 9 years ago
- [SDM'23] ML4C: Seeing Causality Through Latent Vicinity☆14Nov 9, 2022Updated 3 years ago
- Revisiting Cache Side-Channel Attacks in Deep Neural Networks Executables☆14Aug 27, 2024Updated last year
- Research Artifact of USENIX Security 2023 Paper: Precise and Generalized Robustness Certification for Neural Networks☆13Jun 20, 2023Updated 2 years ago
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆12Feb 15, 2023Updated 3 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.
- A test suite (a.k.a., dataset) with ~20k moral situations for understanding LLMs' behaviors.☆16May 5, 2023Updated 3 years ago
- AI-assisted verification of Dafny Programs☆20Nov 9, 2025Updated 6 months ago
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆27Mar 13, 2019Updated 7 years ago
- An example project to demonstrate https://github.com/rvantonder/hack-parallel☆13May 18, 2020Updated 6 years ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Feb 28, 2023Updated 3 years ago
- Tree for GNU Emacs Debian snapshots☆17May 6, 2026Updated 2 weeks ago
- A library for typed manipulation of UNIX-style file paths.☆13Apr 6, 2026Updated last month
- Code for tracelet-level symbolic execution☆18Sep 18, 2022Updated 3 years ago
- Yet another list printer for emacs.☆24Jan 2, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Path Oblivious Heap C++ Reference Implementation☆23Dec 28, 2019Updated 6 years ago
- Alexandria-like library for Emacs Lisp☆13Dec 31, 2020Updated 5 years ago
- PATSQL - SQL Synthesizer☆15Sep 6, 2023Updated 2 years ago
- RL-based Causal Discovery with Prior Knowledge☆17Sep 20, 2022Updated 3 years ago
- An automated deductive program verifier based on concurrent separation logic☆30May 12, 2026Updated last week
- Fuzzy-search tool built for emacs-ng☆11Jan 16, 2021Updated 5 years ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Nov 26, 2016Updated 9 years ago
- OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler☆16Sep 6, 2015Updated 10 years ago
- Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.☆19Sep 3, 2024Updated 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.
- Promises and latches for Emacs Lisp☆13Aug 13, 2021Updated 4 years ago
- Backport new syntax to older compilers☆14Dec 9, 2019Updated 6 years ago
- ☆11Apr 2, 2017Updated 9 years ago
- ☆27Jan 21, 2025Updated last year
- Small PPX for fixed size integer literals☆10Nov 12, 2022Updated 3 years ago
- Manage your pocket☆12Dec 1, 2017Updated 8 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year