- Argentina
-
14:25
- 3h behind
Highlights
- Pro
Lists (2)
Sort Name ascending (A-Z)
Stars
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.
Basic repo demoing a simple AVS middleware with full eigenlayer integration
Common tests for the Ethereum proof-of-stake consensus layer
Library and CLI tool to start local devnets with specific EigenLayer Operator states
🐬 Feature-rich, stable and customizable Flipper Firmware
Flipper Zero firmware source code
Todos los ejemplos de código de la materia Técnicas de Programación Concurrente
Multiplayer 2D physics engine, matchmaking, market and leaderboard for 2D and 3D Games
🐬 A collection of awesome resources for the Flipper Zero device.
📚 A curated list of papers for Software Engineers
Some TLA+ specifications to learn more about TLA and formal verifications
ethrex: Ethereum Rust Execution L1 and L2 client.
A platform for packaging and launching ephemeral backend stacks with a focus on approachability for the average developer.
A Kurtosis package that deploys a private, portable, and modular Ethereum devnet
Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
Safe Rust bridge for creating Erlang NIF functions
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
Extension of the Elixir standard library focused on data stuctures, data manipulation and performance
Modularized faucet for EVM chains with different protection methods (Captcha, Mining, IP, Mainnet Balance, Gitcoin Passport and more)
Modular ZK(Zero Knowledge) backend accelerated by GPU