Pinned Repositories
c2rust_eval
Evaluation of the c2rust tool on a large number of open source projects.
ci-tools
Docker image build scripts for IC utility canisters container
gllvm_plus
Whole Program LLVM: wllvm ported to go
gocc
Parser / Scanner Generator
haskell-hedgehog
Hedgehog will eat all your bugs.
IC_sqlite
Port of the SQL database engine SQLite to the Internet Computer
kocircuit
Ko: A generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations
sqlite2rust
unicontainer
The Unicontainer Project
whole-program-analysis
HassenSaidi's Repositories
HassenSaidi/IC_sqlite
Port of the SQL database engine SQLite to the Internet Computer
HassenSaidi/whole-program-analysis
HassenSaidi/c2rust_eval
Evaluation of the c2rust tool on a large number of open source projects.
HassenSaidi/ci-tools
Docker image build scripts for IC utility canisters container
HassenSaidi/gllvm_plus
Whole Program LLVM: wllvm ported to go
HassenSaidi/gocc
Parser / Scanner Generator
HassenSaidi/haskell-hedgehog
Hedgehog will eat all your bugs.
HassenSaidi/kocircuit
Ko: A generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations
HassenSaidi/sqlite2rust
HassenSaidi/unicontainer
The Unicontainer Project
HassenSaidi/wasmer
High-Performance WebAssembly JIT interpreter
HassenSaidi/WAVM
WebAssembly Virtual Machine