laudiacay

laudiacay's Stars

• Significant-Gravitas/AutoGPT

  AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

  Language:Python168k1.5k2.8k44.3k

• valeriansaliou/sonic

  🦔 Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.

  Language:Rust20k197264577

• saoudrizwan/claude-dev

  Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, and more with your permission every step of the way.

  Language:TypeScript6.2k65347560

• MaartenGr/BERTopic

  Leveraging BERT and c-TF-IDF to create easily interpretable topics.

  Language:Python6.1k541.7k763

• BasedHardware/omi

  AI wearables

  Language:C3.6k44374447

• cloudflare/workers-rs

  Write Cloudflare Workers in 100% Rust via WebAssembly

  Language:Rust2.6k36252277

• paradigmxyz/artemis

  A simple, modular, and fast framework for writing MEV bots in Rust.

  Language:Rust2.3k4925443

• Peergos/Peergos

  A p2p, secure file storage, social network and application protocol

  Language:Java2k77554166

• rust-crdt/rust-crdt

  a collection of well-tested, serializable CRDTs for Rust

  Language:Rust1.4k295459

• microsoft/Nova

  Nova: High-speed recursive arguments from folding schemes

  Language:Rust7082443184

• openmls/openmls

  Rust implementation of the Messaging Layer Security (MLS) protocol

  Language:Rust6281875276

• RustCrypto/traits

  Collection of cryptography-related traits

  Language:Rust57816224189

• runtimeverification/evm-semantics

  K Semantics of the Ethereum Virtual Machine (EVM)

  Language:Python50855347143

• apalache-mc/apalache

  APALACHE: symbolic model checker for TLA+ and Quint

  Language:Scala43891.2k40

• doctorn/obake

  Versioned data-structures for Rust

  Language:Rust203488

• GraySwanAI/circuit-breakers

  Improving Alignment and Robustness with Circuit Breakers

  Language:Jupyter Notebook149151116

• FastLane-Labs/atlas

  An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV by running auctions that match User Operations with Solver Operations. Users do not need a smart wallet. Permissionless for users, apps, and Solvers. Backwards-compatible with existing apps.

  Language:Solidity1424314

• Nugine/s3s

  S3 Service Adapter

  Language:Rust14077534

• datenlord/s3-server

  Generic S3 server implementation

  Language:Rust10882027

• laudiacay/barustenberg

  barretenburg in rust (here we go)

  Language:Rust9754310

• informalsystems/atomkraft

  Advanced fuzzing via Model Based Testing for Cosmos blockchains

  Language:Python772311410

• yoshuawuyts/fd-lock

  Advisory cross-platform file locks using file descriptors

  Language:Rust7581518

• andrewmilson/ecfft

  Elliptic Curve Fast Fourier Transform built on @arkworks-rs

  Language:Rust68502

• sl-sh-dev/sl-sh

  Simple Lisp Shell

  Language:Rust374775

• MarcoPolo/zig-libp2p

  Language:Zig34749

• jules/grumpkin

  Implementation of the Grumpkin curve in Rust.

  Language:Rust29334

• banyancomputer/banyan-cli

  Banyan's client, BanyanFS+CAR encrypted filesystem packer and metadata handler.

  Language:Rust2551212

• filecoin-project/go-data-segment

  Language:Go71813

• laudiacay/test-notifier

  notifies you when a rust test finishes

  Language:Rust6200

• laudiacay/bellperson

  zk-SNARK library

  Language:Rust1100