CERN / awesome-cernLinks
A curated list of awesome open source frameworks, libraries and software developed by CERN for the world
☆99Updated last month
Alternatives and similar repositories for awesome-cern
Users that are interested in awesome-cern are comparing it to the libraries listed below
Sorting:
- Find unmaintained packages in Rust projects☆83Updated this week
- FN-DSA (Falcon) signature scheme☆49Updated 10 months ago
- Actor-based Runtime Verification Tool☆19Updated 2 years ago
- Rust encryption library for practical time-lock encryption.☆37Updated last year
- Rust library for Intel TDX☆30Updated 2 months ago
- Implementation of a drand client in Rust☆29Updated last year
- A collection of CC-BY-SA course material to teach the Rust programming language, in different formats, levels, and focus points. Contact …☆17Updated 2 years ago
- 📖 Guides and tutorials on how to fuzz Rust code☆150Updated 4 months ago
- To make fuzzing Rust easy☆195Updated last week
- Making learning sh*t less annoying☆42Updated last year
- Privacy Pass implementation in Rust☆57Updated this week
- Is SIKE broken yet?☆20Updated 2 years ago
- ☆43Updated 4 years ago
- A reasonable theorem prover for your reasoning tasks!☆28Updated last year
- DanteGPU's command line tool or Python SDK for programmatic use.☆43Updated last year
- Rust library for cryptographic research☆151Updated last year
- Script for querying merged PRs, open issues, and closed issues from config repos.☆12Updated last year
- Reference manual for the RustCrypto project, implemented as an MDBook [WIP]☆22Updated 2 years ago
- A simple, efficient, quantum computer simulator.☆30Updated 4 years ago
- An implementation of the Ethereum virtual machine in pure Zig.☆33Updated last year
- Simple EFI bootloader☆48Updated 2 months ago
- ☆27Updated last year
- Cheating a little to solve the halting problem at scale☆32Updated 2 months ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated last year
- A Python implementation of Garbled Circuits MPC protocol☆62Updated 2 years ago
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆157Updated 10 months ago
- An intentionally-limited Rust implementation of the Docker runtime with no external dependencies.☆40Updated 3 years ago
- A benchmark for standalone WebAssembly☆38Updated last year
- Implementation of the Covercrypt attributes based encryption algorithm☆22Updated 2 weeks ago
- ☆13Updated 3 years ago