Isaac-DeFrain

simple-compiler

A simple compiler for a simple language. Compiles to RISC instructions with dead code optimization.

mina-indexer

The Mina Indexer is a re-designed version of the software collectively called the "Mina archive node."

mina-utils

Utilities for Mina Protocol

cryptography

Crypto BIP (Book In Progress)

fn

Fun with rust!

github-reporting-py

Create detailed and summary CSV reports of activity by a GitHub user, using the GraphQL API 👨‍💻 📊 🐍

algos-theory-machines-course

Following the course Computer Science: Algorithms, Theory, and Machines by Robert Sedgewick and Kevin Wayne https://www.coursera.org/learn/cs-algorithms-theory-machines

bash-examples

Bash examples

cv

My CV

docs2

Docs website for the Mina Protocol.

DocsGPT

GPT-powered chat for documentation search & assistance.

go-bitswap

The golang implementation of the bitswap protocol

go-libp2p-mplex

go-mplex

Isaac-DeFrain

js-examples

Javascript examples

MICSCRYPTOProject

Comparison of rainbow, rsa, dsa, etc (via gpg and https://github.com/fast-crypto-lab/rainbow-submission-round2)

mina

Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.

mina-on-chain-voting

On-chain voting on the Mina blockchain.

omnetpp_fun

OMNeT++ experiments

prometheus

Prometheus resources

python-examples

🐍 Python examples

rainbow-bench

Benchmarking the post-quantum digital signature scheme rainbow https://github.com/fast-crypto-lab/rainbow-submission-round2 against various pre-quantum schemes

site

snarkyjs

TypeScript framework for zk-SNARKs and zkApps

tonic

A native gRPC client & server implementation with async/await support.

zk-ignite-cohort-1

Ideas and resources for Mina Protocol zkIgnite cohort 1

zkapp-cli

CLI to create a zkApp ("zero-knowledge app") for Mina Protocol

zkAppPool

A zkApp based staking pool for MINA

zkapps

Simple zk smart contract for Mina Protocol