16 Repositories
Rust nova-study Libraries
Need a powerful and simple library to work with arithmetic progressions in Rust? You should definitively try out ariprog!
Ariprog I had a test (03/2024) on arithmetic progressions, so I decided to create a library to study math. Taking advantage of the fact that I was stu
Frost in Rust (Study only)
FROST (Study only) This implementation was part of the contribution for the following paper: Chelsea Komlo, Ian Goldberg. "FROST: Flexible Round-Optim
Open source bible study program on Linux!
Open Witness Library Open Witness Library is a program to read articles that carries God's true name. Warning This branch is outdated, please refer to
Implementation of Nova using arkworks for learning purposes
nova-study Implementation of Nova using arkworks-rs just for learning purposes. Warning: Implementation from scratch to learn the internals of Nova. D
A collection of comparison-benchmarks for Nova & related Proving systems
Nova benchmarks Here's a list of some of the benchmarks we've been taking to better understand how Nova performs vs other proof systems. Live version:
Writing an OS in Rust, To Study Operating System and Computer System
Hun Os Writing an OS in Rust, To Study Operating System and Computer System Reference Os Written In Rust https://github.com/seonghun-dev/blog_os https
Rust template repository.
Rust template repository. An opinionated starting point for rust projects such as systemd services command line tools client programs server programs
Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group
What is this? This is where I'll be collecting resources related to the Study Group on Dr. Justin Thaler's Proofs Arguments And Zero Knowledge Book. T
The study of a simple path tracer implementation (image raytracing in shorts)
The study of a simple path tracer implementation (generate a raytraced image, in shorts).
Discord bot for the Tegaki Tuesday handwriting challenge 🚧 WIP NOT PRODUCTION 🚧
字(じ)ちゃん 字(じ)ちゃん is the Discord bot for the Tegaki Tuesday handwriting challenge. For more information on the challenge, please visit the website. She
Elemental System Designs is an open source project to document system architecture design of popular apps and open source projects that we want to study
Elemental System Designs is an open source project to document system architecture design of popular apps and open source projects that we want to study
Subtitles-rs - Use SRT subtitle files to study foreign languages
Rust subtitle utilities Are you looking for substudy? Try here. (substudy has been merged into the subtitles-rs project.) This repository contains a n
Hotwire allows you to study network traffic of a few popular protocols in a simple way
Hotwire Hotwire is a gtk GUI application that leverages the wireshark and tshark infrastructure to capture traffic and explore the contents of tcpdump
nAssets are Nova Finance’s framework for building programmable assets.
nAssets are Nova Finance’s framework for building programmable assets. nAssets can be used to tokenize and store collective forms of value while also instructing assets to yield, exchange or rebalance.
Self Study on developing a game engine using wgpu as the rendering API. Learning as I go.
Fabled Engine Any issues, enhancement, features, or bugs report are always welcome in Issues. The obj branch is where frequent development and up to d
Nova: Recursive SNARKs without trusted setup
Nova: Recursive SNARKs without trusted setup Nova is a high-speed recursive SNARK (a SNARK is type cryptographic proof system that enables a prover to