-
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
SMT Other UpdatedNov 5, 2025 -
-
-
-
ARM Public
A Verilog implementation of an ARM series processor supporting: Forwarding, SRAM, and Cache.
-
-
-
-
-
scrambler Public
Forked from SMT-COMP/scramblerA simple scrambler for SMT-LIB 2.6 scripts.
C++ Other UpdatedSep 30, 2024 -
stanford-centaur.github.io Public
Forked from stanford-centaur/stanford-centaur.github.ioTeX UpdatedSep 10, 2024 -
-
-
-
-
-
-
-
eldarica Public
Forked from uuverifiers/eldaricaThe Eldarica model checker
Scala Other UpdatedApr 20, 2023 -
-
-
klee Public
Forked from bolt-perf-contracts/kleeAn extension of KLEE, with support for existential and universal quantifiers.
C++ Other UpdatedSep 8, 2022 -
Jepeto Public
A compiler for Jepeto programming language generating Java bytecode with Name/Type error detection.
Java UpdatedAug 30, 2022 -
Komodo Public
Forked from microsoft/KomodoFormally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
C Other UpdatedAug 18, 2022 -
-
Computer-Networks Public
Links to project repositories on socket programming, routing protocols, ns2 simulations, go-back-n protocol, and congestion avoidance.
1 UpdatedJul 4, 2022 -
Operating-Systems Public
Links to project repositories on socket programming, load balancing using pipes, and multi-threading with pthreads.
1 UpdatedJul 4, 2022 -
-
-
Congestion-Avoidance Public
An implementation of Random-Early-Detection mechanism over a simple network based on UDP.
C++ UpdatedJun 22, 2022
{{ message }}