Skip to content
View Vervious's full-sized avatar

Highlights

  • Pro

Organizations

@techx @ProjectClarity @codeforgoodmit

Block or report Vervious

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A minimal (and wicked fast) blockchain built with the Commonware Library.

Rust 19 2 Updated Mar 17, 2025

The OpenAI Model Spec

268 12 Updated Feb 12, 2025

Tinkering with GPT's architecture

Jupyter Notebook 2 Updated Mar 18, 2025

Simplex consensus protocol

Go 8 2 Updated Mar 18, 2025

Commonware Library Primitives and Examples

Rust 192 61 Updated Mar 18, 2025

Hugo theme based on the Jekyll chowdown theme

SCSS 71 51 Updated Aug 17, 2024

Simple, minimal implementation of the Mamba SSM in one file of PyTorch.

Python 2,747 203 Updated Mar 8, 2024

🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4

Solidity 2,181 1,069 Updated Feb 10, 2025

Train ImageNet *fast* in 500 lines of code with FFCV

Python 140 35 Updated May 10, 2024

Playground for Streamlet implementation in ocaml

OCaml 3 Updated Dec 16, 2020

Rust implementation of the Streamlet consensus protocol.

Rust 4 Updated Aug 12, 2020

Reference implementation of Mel

Rust 33 5 Updated Jun 21, 2024

gitlinks - Git Powered Go-Links! 👴⛓

Python 24 1 Updated May 31, 2022

Book in preparation: introduction to theoretical computer science

TeX 943 189 Updated Mar 18, 2024

A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox

Python 13 3 Updated Nov 30, 2022

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Java 2,389 208 Updated Feb 27, 2025

Go implementation of the consensus protocol Pala

Go 1 Updated Feb 18, 2020

The Go programming language

Go 126,543 17,948 Updated Mar 18, 2025

Swagger 2.0 implementation for go

Go 9,685 1,267 Updated Mar 14, 2025

Guidelines for low-level cryptography software

1,142 89 Updated Jun 11, 2023

💼 Change your MAC address for debugging

Python 3,070 272 Updated Jan 27, 2018

Algorand Python SDK

Python 272 143 Updated Feb 20, 2025

Algorand Golang SDK

Go 188 98 Updated Mar 7, 2025

Main Portal page for the Jackson project

9,295 1,194 Updated Dec 11, 2024

Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

Rust 16,700 2,587 Updated Mar 18, 2025

The automation tower defense RTS

Java 23,478 3,042 Updated Mar 17, 2025

Algorand's official implementation in Go.

Go 1 Updated Feb 8, 2020

Algorand's official implementation in Go.

Go 1,387 492 Updated Mar 17, 2025

Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.

Rust 22,606 1,725 Updated Mar 17, 2025

Algorand SDK for Java7+ to interact with the Algorand network

Java 69 69 Updated Mar 17, 2025
Next