keks/libcrux
The formally verified crypto library for Rust
Repositories
keks/unionize
keks/js-cms
foo for a friend of a friend
keks/act
Run your GitHub Actions locally 🚀
keks/Symphonia
Pure Rust multimedia format demuxing, tag reading, and audio decoding library
keks/components
Example Components (Built with Tonic)
keks/popcorn
Synthesizer as a small university project
keks/broken-nixos-microvm
keks/smtlib-rs
keks/LazyVim
Neovim config for the lazy
keks/dreal-pkgbuilds
keks/dreal-mathlib
IBM Accurate Portable Mathlib
keks/dreal4
Automated Reasoning in Nonlinear Theories of Reals
keks/unionize-testbench
keks/toy_sha2
A toy SHA2 implementation in Rust.
keks/xs233
keks/xs233-sys
Low-level Rust FFI crate for c-xs233
keks/tamarin-shs
keks/nixpkgs
Nix Packages collection
keks/mal
mal - Make a Lisp
keks/dips
Dash Improvement Proposals
keks/wormhole-william
End-to-end encrypted file transfer. A magic wormhole CLI and API in Go (golang).
keks/go-orbitdb
Go implementation of haadcode's orbit-db
keks/fusion-identity-spec
keks/protocols
A zkRollup DEX & Payment Protocol
keks/nocomment
provides a reader that strips away comments
keks/persist
Persist loads and saves Go objects to files
keks/docker-funkwhale
All-in-one funkwhale docker image.
keks/oasis-core
Performant and Confidentiality-Preserving Smart Contracts + Blockchains
keks/mls-protocol
MLS protocol