GeezerVison is showing github.com — Casper Association R&D
Casper Association Research and Development
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
Agda
C++
Haskell
Java
Lean
Lua
Nix
Python
Rust
Shell
Solidity
TeX
TypeScript
Typst
Sort
Showing 10 of 52 repositories
litmus-zk-sp1
Public
SP1 ZK-VM port of litmus verification functions.
cspr-rad/litmus-zk-sp1's past year of commit activity
Rust
0
MIT
2
0
0
Updated Jan 10, 2025
cspr-consensus-formal
Public
Formalization of some pen-and-paper proofs associated with Casper's consensus algorithm.
cspr-rad/cspr-consensus-formal's past year of commit activity
Lean
0
0
0
0
Updated Sep 30, 2024
cspr-rad/litmus-wasm's past year of commit activity
Rust
0
MIT
0
0
0
Updated Sep 29, 2024
cspr-rad/litmus-worker's past year of commit activity
TypeScript
0
0
0
0
Updated Sep 29, 2024
docs
Public
Publically available documentation generated by R&D team
cspr-rad/docs's past year of commit activity
0
MIT
0
0
0
Updated Sep 26, 2024
cspr-rad/casper-groth16-contract's past year of commit activity
Rust
0
1
0
0
Updated Sep 25, 2024
cspr-rad/kairos's past year of commit activity
Rust
4
Apache-2.0
1
14
1
Updated Sep 24, 2024
cspr-rad/litmus's past year of commit activity
Rust
1
0
0
0
Updated Sep 24, 2024
cspr-rad/groth16-wasm's past year of commit activity
Rust
0
1
0
0
Updated Sep 24, 2024
cspr-rad/cctl-rs's past year of commit activity
Rust
0
0
0
0
Updated Sep 20, 2024
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.