repos
27
ecosystems
10
languages
7
commits
700
─── top repos · by commits
─── repositories
27 totalMina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Zeko: zk-Rollup for Mina, a succinct blockchain
Not the official repo. See https://github.com/MinaProtocol/mina
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Build nix packages that use npm/yarn
Alternative Haskell Infrastructure for Nixpkgs
Various forms of Tezos software distribution for Linux and macOS.
Various forms of Mavryk software distribution for Linux and macOS.
Mirror of the latest release candidate release from the mavryk-packaging
Alternative Haskell Infrastructure for Nixpkgs
Wrapped Bitcoin on Tezos Blockchain
DEPRECATED. Use input-output-hk/haskell.nix
[NeurIPS'23 Oral] Visual Instruction Tuning (LLaVA) built towards GPT-4V level capabilities and beyond.
Scripts for running private Tezos blockchain
Translate Cabals Generic Package Description to a Nix expression
NixOps deployment configuration library for IOHK devops
Port of the lib sodium encryption library to Node.js
Espressif IoT Development Framework. Official development framework for ESP32.
An OCaml RocksDb binding using ocaml-ctypes
─── peer developers
─── ecosystems
─── languages
- OCaml11
- Nix5
- Python3
- Haskell1
- Shell1
- HTML1
- JavaScript1
─── subscriber view
Unlock the full view of yorickvP
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.