-
18:21
(UTC +02:00) - @zerosnacks
Stars
- All languages
- Assembly
- C
- C++
- CSS
- Circom
- Cuda
- Dockerfile
- Elixir
- GCC Machine Description
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- MDX
- Makefile
- Nearley
- Nix
- Noir
- OCaml
- PLpgSQL
- Python
- Ruby
- Rust
- SMT
- Shell
- Solidity
- Standard ML
- Starlark
- SystemVerilog
- TeX
- TypeScript
- Vyper
- WebAssembly
- Yul
- hoon
Make your JSON data collaborative and version-controlled with CRDTs
Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.
Queue futures to run concurrently, in the order they're spawned, and with global and group limits.
Simple, extensible multithreaded background job and message processing library for Rust
A lightweight message queue. Like AWS SQS and RSMQ but on Postgres.
A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. All in a modern, AI-native editor.
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
A blockchain monitoring service that watches for specific on-chain activities and triggers notifications based on configurable conditions.
Official repository for the Security Frameworks by SEAL. Currently under development, not a release.
Minimal Documentation Framework, powered by React + Vite.
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
Eternal Safe is a decentralized fork of Safe{Wallet}.
A transaction guard that allows the owner to limit the multisig signers to calling specific function signatures on specific contracts.
huff-neo marks a new dawn for the once-abandoned huff-rs, breathing fresh life into its legacy.