Repos
114
Stars
166
Forks
77
Top Language
Haskell
Loading contributions...
Top Repositories
Repositories
114Library facilitating safe pinned initialization
No description provided.
Rust's standard library vendor-specific APIs and run-time feature detection
Haskell PTrace Bindings
Platform Independent Tracing for Haskell
Record/Replay for syscall streams
A Haskell Library for Binary Analysis
An implementation of substructural intuitionistic logic focused on forward chaining
Haskell bindings for the EVE API
Haskell Basecode for the 411 Compiler Project
No description provided.
Derivation of C-like Storable Instances
No description provided.
No description provided.
Datalog engine with extensions for integrating analyses
Migrate C code to Rust
OpenSSL bindings for Rust
🥧 Savoury implementation of the QUIC transport protocol and HTTP/3
Native PostgreSQL driver for the Rust programming language
Raw bindings to platform APIs for Rust
No description provided.
An AV1 decoder in Rust.
Rust library for build scripts to compile C/C++ code into a Rust library
A Rust library to manipulate AArch64 VMSA EL1 page tables.
No description provided.
Complex numbers for Rust
Generating structured data from arbitrary, unstructured input.
kmod - Linux kernel module handling
15-819 (Homotopy Type Theory) Lecture Notes
An idiomatic, lean, fast & safe pure Rust implementation of Git