-
plain_c_nn_benchmark Public
Forked from emanino/plain_c_nn_benchmarkC MIT License UpdatedOct 20, 2025 -
-
esbmc Public
Forked from esbmc/esbmcThe efficient SMT-based context-bounded model checker (ESBMC)
C Other UpdatedSep 8, 2025 -
RetroArch Public
Forked from libretro/RetroArchCross-platform, sophisticated frontend for the libretro API. Licensed GPLv3.
C GNU General Public License v3.0 UpdatedAug 21, 2025 -
verify-rust-std Public
Forked from model-checking/verify-rust-stdVerifying the Rust standard library
Rust Other UpdatedAug 10, 2025 -
-
Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
C Other UpdatedApr 17, 2025 -
boolector Public
Forked from Boolector/boolectorA Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
SMT Other UpdatedApr 2, 2025 -
btor2tools Public
Forked from hwmcc/btor2toolsA generic parser and tool package for the BTOR2 format.
C Other UpdatedApr 2, 2025 -
scripts-fedor Public
Forked from shmarovfedor/scriptsThis repository contains a collection of occasionally useful scripts
Python BSD 3-Clause "New" or "Revised" License UpdatedMar 28, 2025 -
tla-linux Public
TLA+ to Linux Runtime Verification synthesis
Haskell GNU General Public License v3.0 UpdatedMar 25, 2025 -
emacs.d Public
Forked from purcell/emacs.dAn Emacs configuration bundle with batteries included
Emacs Lisp BSD 2-Clause "Simplified" License UpdatedFeb 24, 2025 -
-
-
tlaplus Public
Forked from tlaplus/tlaplusTLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Java MIT License UpdatedJan 16, 2025 -
-
aws-c-common Public
Forked from awslabs/aws-c-commonCore c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
C Apache License 2.0 UpdatedJan 17, 2024 -
benchexec Public
Forked from sosy-lab/benchexecBenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Python Apache License 2.0 UpdatedOct 26, 2023 -
-
cbmc-viewer Public
Forked from model-checking/cbmc-viewerCBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
Python Apache License 2.0 UpdatedJan 18, 2023 -
awesome-haskell Public
Forked from krispo/awesome-haskellA collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
Haskell UpdatedDec 15, 2022 -
brazilian-cs-research Public
Forked from adolfont/brazilian-cs-researchCurated lists related to Brazilian Computer Science research and researchers
UpdatedOct 23, 2022 -
-
scripts Public
Scripts that are useful for me and probably for no one else
Python MIT License UpdatedAug 1, 2022 -
esbmc-goto-language-vscode Public
Syntax highlight for the GOTO language used by ESBMC
MIT License UpdatedJan 8, 2022 -
-
synergy-android-7 Public
Forked from dadosch/synergy-android-7Fork of synergy android to make it compatible with barrier
-
-
lockotron Public archive
Um sistema de segurança para abrir trancas utilizando reconhecimento facial e proximidade.
-
abntex_dcc_ufrr Public archive
Edições no modelo do abntex2 para compatibilidade com as normas do curso de Ciência da Computação da Universidade Federal de Roraima
TeX UpdatedFeb 20, 2017
{{ message }}