Isaac-DeFrain

zstd

Zstandard - Fast real-time compression algorithm

serde

Serialization framework for Rust

go-libp2p

libp2p implementation in Go

juniper

GraphQL server library for Rust

slither

Static Analyzer for Solidity and Vyper

rust-libp2p

The Rust Implementation of the libp2p networking stack.

mina

Blazing fast deployer and server automation tool

hotscript

A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.

console

a debugger for async rust!

apollo-tooling

✏️ Apollo CLI for client tooling (Mostly replaced by Rover)

quadratic

Quadratic | Technical Spreadsheet with Python, SQL, and AI

FStar

A Proof-oriented Programming Language

mysql-5.6

Facebook's branch of the Oracle MySQL database. This includes MyRocks.

croner

Trigger functions or evaluate cron expressions in JavaScript or TypeScript. No dependencies. Most features. Node. Deno. Bun. Browser.

graphql-client

Typed, correct GraphQL requests and responses in Rust

raft

C implementation of the Raft Consensus protocol, BSD licensed

redisraft

A Redis Module that make it possible to create a consistent Raft cluster from multiple Redis instances.

noble-secp256k1

Fastest 4KB JS implementation of secp256k1 signatures and ECDH

multiaddr

Composable and future-proof network addresses

squeal

Squeal, a deep embedding of SQL in Haskell

graphql-parser

A graphql query language and schema definition language parser and formatter for rust

boxo

A set of reference libraries for building IPFS applications and implementations in Go.

AIT

Algorithmic Information Theory, using Binary Lambda Calculus

zed

Abstract engine for text edition in OCaml

xournal

Mirror of the official xournal repository

MIPs

Archive-Node-API

This is a GraphQL server that is built with the intention of exposing information from Mina's Archive Node

mina-provider

Mina Provider for zkApp

mina-network-debugger

mina-utils

Helpful scripts for working with the Mina Protocol