Prolog specification of TensorFlow layers
☆13Jun 12, 2023Updated 3 years ago
Alternatives and similar repositories for ExAIS
Users that are interested in ExAIS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Apr 27, 2024Updated 2 years ago
- ☆27Feb 1, 2023Updated 3 years ago
- Learning Certified Individually Fair Representations☆25Nov 7, 2020Updated 5 years ago
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆21Sep 12, 2024Updated last year
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 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.
- A series of BERT and Albert model checkpoints trained to reduce gendered correlations in pre-training☆11Oct 22, 2020Updated 5 years ago
- This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs (#158)” in ICSE2022☆12Nov 15, 2022Updated 3 years ago
- 任务型多轮对话管理系统 —— 后端☆10Jan 19, 2022Updated 4 years ago
- ☆12Jun 13, 2022Updated 4 years ago
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 2 years ago
- Code of GraphAdapter☆17Mar 21, 2024Updated 2 years ago
- Python neighbor-joining library. Goal: Efficient O(n^2) neighbor-joining algorithm.☆12May 5, 2014Updated 12 years ago
- Code for "Astraea: Grammar-based Fairness Testing"☆10Jan 7, 2022Updated 4 years ago
- Vibe coding in emacs with amp☆20Jun 15, 2025Updated 11 months ago
- 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.
- Official PyTorch implementation of OTiS: An open model for general time series analysis.☆18Apr 1, 2026Updated 2 months ago
- 🍋 A Rust/Swift-like modern interpreted programming language. First-class functions, first-class expressions, and functional techniques i…☆11Mar 2, 2021Updated 5 years ago
- Files that generate the compneuro.uwaterloo.ca website.☆16Updated this week
- A browser-based Linux environment, with a near-complete filesystem, terminal commands, and built-in applications for a realistic OS exper…☆22Updated this week
- Intersectional bias in hate speech and abusive language datasets☆15Jan 25, 2024Updated 2 years ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Jun 29, 2022Updated 3 years ago
- White-box Fairness Testing through Adversarial Sampling☆14Apr 16, 2021Updated 5 years ago
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 3 years ago
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 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.
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆24May 31, 2023Updated 3 years ago
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆56Oct 29, 2023Updated 2 years ago
- Disciplina de Programação Paralela do CIn-UFPE☆14Jun 25, 2015Updated 10 years ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- Can We Trust Large Language Models?: A Benchmark for Responsible Large Language Models via Toxicity, Bias, and Value-alignment Evaluation☆26Oct 12, 2023Updated 2 years ago
- ☆18May 18, 2021Updated 5 years ago
- 在线图书借阅系统 - 2017 THU OOP课大作业☆13Jul 1, 2018Updated 7 years ago
- ☆17Jan 1, 2021Updated 5 years ago
- An ARM decompiler converts ARM code to a ready to compile C code. Project was done as a 3rd Semester project.☆15Jun 15, 2022Updated 3 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.
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 3 years ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆32May 24, 2020Updated 6 years ago
- ☆20Aug 26, 2018Updated 7 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 6 years ago
- Data set for LREC 2020 paper "I Feel Offended, Don't Be Abusive!"☆19Sep 23, 2023Updated 2 years ago
- ☆11Apr 18, 2023Updated 3 years ago
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 10 years ago