zk⁷ zkdream.net
0 Followers · 0 Following
Repositories
9
 Projects Packages Code Public Activity Starred Repositories
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
arith-eval
Python 0 0
arithmetic expression evaluation using reverse polish notation.
Updated 2024-04-12 09:22:15 +00:00
elf
C 0 0
Making small linux static binaries
Updated 2024-04-12 08:57:50 +00:00
lambda
C++ 0 0
hohohohohohohohoh
Updated 2024-04-10 17:16:21 +00:00
qasm
Rust 0 0
an assembly language with quantum instructions
Updated 2024-04-01 11:29:44 +00:00
algebra
Agda 0 0
transforming setoids to quotient sets
Updated 2024-03-29 11:00:02 +00:00
algebraic-graphs
Agda 0 0
Algebraic graphs with Agda
Updated 2024-03-29 10:59:51 +00:00
symmetries
Agda 0 0
free monoids & free commutative monoids
Updated 2024-03-29 10:59:45 +00:00
basic-calculator
Python 0 0
The simplest Python calculator :D
Updated 2024-03-29 10:59:36 +00:00
zkmagic
Rust 0 0
Zero knowledge Crypto magic with Rust
Updated 2024-03-29 10:59:27 +00:00