Highlights
- Pro
-
-
-
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
SMT Other UpdatedSep 17, 2025 -
-
-
elina Public
Forked from eth-sri/ELINAELINA: ETH LIbrary for Numerical Analysis
C++ Other UpdatedMay 6, 2025 -
seahorn Public
Forked from seahorn/seahornSeaHorn Verification Framework
C Other UpdatedMar 3, 2025 -
-
COMET Public
Forked from AishwaryaSivaraman/COMETCounterexample-Guided Learning of Monotonic Networks
Jupyter Notebook MIT License UpdatedSep 27, 2024 -
pysmt Public
Forked from pysmt/pysmtpySMT: A library for SMT formulae manipulation and solving
Python Apache License 2.0 UpdatedJul 7, 2024 -
Verification-of-PINNs Public
Forked from avaljotsingh/Verification-of-PINNsA tool to verify Physics Informed Neural Networks (PINNs) and train them certifiably
Jupyter Notebook UpdatedDec 3, 2023 -
regex-to-smtlib Public
A tool to translate regular expressions to smt-lib constraints
-
monotonic-neural-networks Public
Implementation of Monotonic Neural Networks using Point-wise loss for monotonicity
-
IITG-Dashboard_Website-App Public
Forked from architjugran/IITG-Dashboard_Website-AppCSS UpdatedMay 14, 2022 -
Pintos Public
Pintos Assignments for Operating Systems lab done in B. Tech.
-
speech_separation Public
Forked from bill9800/speech_separationResearch Project on Cocktail Party Problem (Computer Vision) done during my B. Tech.
Python MIT License UpdatedNov 15, 2021 -
traffic-controller-NuSMV Public
Project done for my B.Tech course on Formal Methods for System Verification
-
CDCL-SAT Public
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
-
-
-
C-Compiler Public
A compiler for subset of C which supports function calls, expressions, if-else statements etc.
-
-
-
-