btwael
Follow
Highlights
- Pro
-
-
tapis Public
Tool from CAV'25 paper "Data-driven Verification of Procedural Programs with Integer Arrays"
-
paxos-rs Public
Forked from zowens/paxos-rsPaxos implementation in Rust
Rust MIT License UpdatedApr 26, 2026 -
-
metafor Public
Forked from mpi-sws-rse/metaforMetastability analysis
Jupyter Notebook Apache License 2.0 UpdatedOct 28, 2025 -
-
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedJun 16, 2023 -
SuperString Public
A fast and memory-optimized string library for C++
-
superstring.py Public
A fast and memory-optimized string library for heavy-text manipulation in Python
-
selfie Public
Forked from cksystemsteaching/selfieAn educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
-
zazate.js Public
Music theory and notation library for javascript and node.js
-
akal Public
Experimental library-based operating system for Raspberry Pi 3
-
massif.js Public
Visualize Valgrind Massif memory consumption online.
-
locallydb Public archive
An easy-to-use and lightweight local storage database for node.js and node-webkit