repos
26
ecosystems
3
languages
9
commits
226
─── top repos · by commits
─── repositories
26 totalDocuments/Artifacts for the Open Source Committee can be founnd in this Repository. If there are questions or concerns, Please create an issue or contact the Open Source Office.
Technical Project Management: Meeting notes and agenda items
Intersect MBO Open Source Office (OSO)
This repo is managed by Intersect on behalf of the Developer Advocates.
The Filecoin Improvement Proposal repository
Sync tests for cardano-node and db-sync.
This repository holds the Intersect Knowledge Base
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
Code used throughout the Cardano eco-system
System and end-to-end (E2E) tests for cardano-node.
Formal specifications of the Cardano ledger
Metadata for Cardano's Haskell package repository
The ledger implementation and specifications of the Cardano blockchain.
Implementation of a Consensus Layer for the Ouroboros family of protocols
This is a template repository for kickstarting your Plinth smart contract project. Please refer to the README.md for more information.
Anchor metadata for Governance Actions submitted by Intersect.
Credential and Identity management script for Constitutional Committee members backed by X.509 certificates
Implementation of a Consensus Layer for the Ouroboros family of protocols
This repo retains updates for Committees and Intersect Groups set forth by the admin team.
This repo retains updates for Technical Steering Committee and relevant Technical Working Groups
Builds an airgapped nixos boot image with credential-manager signing tools.
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
─── peer developers
─── languages
- Haskell8
- TypeScript3
- JavaScript2
- Shell2
- Python2
- HTML1
- Jupyter Notebook1
- Agda1
- Nix1
─── subscriber view
Unlock the full view of ThatGuyLLC
- · 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.