bredamatt
Three MScs (University of Edinburgh, Oxford University). Trusted Computing, Consensus Protocols and AI Safety.
@paritytechLondon, UK
bredamatt's Stars
BurntSushi/ripgrep
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
iced-rs/iced
A cross-platform GUI library for Rust, inspired by Elm
crewAIInc/crewAI
Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.
microsoft/graphrag
A modular graph-based Retrieval-Augmented Generation (RAG) system
facebook/infer
A static analyzer for Java, C, C++, and Objective-C
actix/actix
Actor framework for Rust.
99designs/aws-vault
A vault for securely storing and accessing AWS credentials in development environments
SakanaAI/AI-Scientist
The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑🔬
asynkron/protoactor-go
Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin
ranaroussi/quantstats
Portfolio analytics for quants, written in Python
crytic/echidna
Ethereum smart contract fuzzer
DeterminateSystems/nix-installer
Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.
nix-community/disko
Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht]
wasmCloud/wasmCloud
wasmCloud is an open source Cloud Native Computing Foundation (CNCF) project that enables teams to build, manage, and scale polyglot apps across any cloud, K8s, or edge.
olofk/serv
SERV - The SErial RISC-V CPU
fastmachinelearning/hls4ml
Machine learning on FPGAs using HLS
zeromq/zmq.rs
A native implementation of ØMQ in Rust
riker-rs/riker
Easily build efficient, highly concurrent and resilient applications. An Actor Framework for Rust.
barter-rs/barter-rs
Open-source Rust framework for building event-driven live-trading & backtesting systems
ArweaveTeam/arweave
The Arweave server and App Developer Toolkit.
matklad/cargo-xtask
haskell-distributed/distributed-process
Cloud Haskell core libraries
Systems-Modeling/SysML-v2-Release
The latest incremental release of SysML v2. Start here.
lusingander/serie
A rich git commit graph in your terminal, like magic 📚
ramosbugs/openidconnect-rs
OpenID Connect Library for Rust
basalt-org/basalt
A Machine Learning framework from scratch in Pure Mojo 🔥
permaweb/ao
The ao component and tools Monorepo - 🐰 🕳️ 👈
milanboers/rurel
Flexible, reusable reinforcement learning (Q learning) implementation in Rust
zeromq/ezmq
ZeroMQ implemented in Erlang
Spivoxity/fuzz
The fuzz typechecker for Z