15 Repositories
Rust nova-study Libraries
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
3 Nov 22, 2023
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
5 Jun 29, 2023
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
16 Apr 23, 2023
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:
18 Apr 17, 2023
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
2 Dec 15, 2022
Rust template repository.
Rust template repository. An opinionated starting point for rust projects such as systemd services command line tools client programs server programs
42 Dec 28, 2022
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
65 Dec 16, 2022
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).
1 Apr 2, 2022
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
0 Dec 19, 2022
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
9 Apr 10, 2022
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
268 Dec 29, 2022
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
194 Dec 30, 2022
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.
45 Dec 28, 2021
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
20 Jan 5, 2023
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
219 Jan 1, 2023