FANC is a tool for the proof transfer of incomplete verification
☆12Mar 20, 2022Updated 3 years ago
Alternatives and similar repositories for FANC
Users that are interested in FANC are comparing it to the libraries listed below
Sorting:
- ☆17Dec 24, 2023Updated 2 years ago
- Iterate on LLM-based structured generation forward and backward☆22Mar 20, 2025Updated 11 months ago
- LLM Program Watermarking☆18Apr 19, 2024Updated last year
- Certifying Geometric Robustness of Neural Networks☆16Mar 24, 2023Updated 2 years ago
- ESP32 port of the existing TeslaBMS program☆10Jun 12, 2023Updated 2 years ago
- Neural Network Enumeration Tool☆34Jan 8, 2026Updated last month
- Blazing fast, modular, next gen logagent☆11Updated this week
- Python 3 script for analyzing Apama correlator log files and extracting useful diagnostic information☆13Jan 27, 2025Updated last year
- Documentation sources for syslog-ng Open Source Edition (https://github.com/syslog-ng/syslog-ng)☆10May 6, 2024Updated last year
- ☆12Updated this week
- VNN Neural Network Verification Competition 2021☆36Jul 17, 2021Updated 4 years ago
- Source code related to a blog post about ML Kit☆13Jul 24, 2018Updated 7 years ago
- ☆12Oct 21, 2020Updated 5 years ago
- macOS touchid authentication library☆12Jul 21, 2023Updated 2 years ago
- Kernel objects for scaling and format conversion within VapourSynth☆12Nov 5, 2025Updated 3 months ago
- Reply to hot /r/NFTsMarketplace airdrop posts with your wallet address☆11Aug 27, 2023Updated 2 years ago
- Blocks unsigned internet binaries from executing (El Capitan)☆10Feb 1, 2021Updated 5 years ago
- 🔮 MacOS menu bar app to see prices of ASA pairs from Tinyman.org 👀☆12Updated this week
- Whole Slide Image (WSI) Viewer written in Python (using Qt and OpenSlide)☆10Feb 12, 2020Updated 6 years ago
- ☆10Oct 16, 2024Updated last year
- 🤖 A list of latest AGI-related repos, resources and courses including LLMs and AI Agents.☆13Sep 24, 2024Updated last year
- Anonymize sensitive data in a controlled, pseudo-random way☆14Dec 18, 2015Updated 10 years ago
- ☆11Jul 19, 2023Updated 2 years ago
- ☆14Jun 17, 2024Updated last year
- Screenshots in record time - up to 2.5x faster than MSS (Multiple Screen Shots)☆12May 19, 2023Updated 2 years ago
- A basic parser for ELB access logs, strongly inspired by node-clf-parser https://github.com/jfhbrook/node-clf-parser☆11Aug 3, 2018Updated 7 years ago
- ☆10Feb 2, 2024Updated 2 years ago
- Simple agent framework using Ollama tool calling☆10Aug 27, 2024Updated last year
- Slack clone using React, Typescript, Styled components, Hasura, Auht0, Algolia☆11Jan 3, 2023Updated 3 years ago
- ☆11Jan 23, 2021Updated 5 years ago
- AI Service that classifies data with given or passed model structure response to use in code☆12Apr 25, 2023Updated 2 years ago
- Reproducing BugsInPy: Benchmarking Bugs in Python Projects☆14Sep 4, 2023Updated 2 years ago
- ☆20Feb 10, 2026Updated 2 weeks ago
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- ☆10Aug 18, 2025Updated 6 months ago
- An elegant and powerfull alternative to GoogleAnalytics for Laravel application. Track routes, users, ip, devices, countries etc...☆12Sep 16, 2021Updated 4 years ago
- ☆11Oct 25, 2019Updated 6 years ago
- ☆13May 25, 2022Updated 3 years ago
- ☆11Oct 4, 2020Updated 5 years ago