Stars
🤗 LeRobot: Making AI for Robotics more accessible with end-to-end learning
RAI is an agentic framework for robotics, utilizing Langchain and ROS 2 tools to perform complex actions, defined scenarios, free interface execution, log summaries, voice interaction and more.
A generative world for general-purpose robotics & embodied AI learning.
Fullstack app framework for web, desktop, mobile, and more.
State-of-the-Art Text Embeddings
Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.
Chat with your documents on your local device using GPT models. No data leaves your device and 100% private.
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Dataframes powered by a multithreaded, vectorized query engine, written in Rust
A model checker for implementing distributed systems.
A rust implementation of the Kyber post-quantum KEM
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
Concrete: TFHE Compiler that converts python programs into FHE equivalent
poanetwork/threshold_crypto using supranational/blst for sign+verify
Jus B2C2 t, really the littlest Vec you could need. So smol.
Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
A publishing tool enabling users of the SAFE Network to easily manage websites
An experimental visualisation workbench built using Svelte
A cross platform tool to easily launch a SAFE Network test section from home
Logical Clocks for Eventually Consistent Systems
Enclave ready EVM (eEVM) is an open-source, standalone, embeddable, C++ implementation of the Ethereum Virtual Machine.
Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.
Pure Rust implementation of a ROS client library
Resumes generated using the GitHub informations
Fast and efficient ed25519 signing and verification in Rust.