|
Rust |
5 |
Doing math things in Rust |
Jul 02, 2021 |
|
Haskell |
104 |
Addresses and mnemonic manipulation & derivations |
Aug 16, 2022 |
|
Nim |
73 |
Math vector library for graphical things. |
Apr 09, 2023 |
|
JavaScript |
2 |
rando code things from learning math |
Apr 19, 2024 |
|
Nix |
2 |
Assorted Nix utility functions and derivations. |
Apr 29, 2022 |
|
Python |
2 |
Using {https://github.com/jgraph/drawio-desktop} to draw flowcharts about math proofs |
Dec 16, 2021 |
|
Nix |
12 |
My NixOS configuration and custom Nix derivations. |
Jan 08, 2021 |
|
None |
2 |
Simplified ed25519 BIP32 derivations |
Nov 16, 2021 |
|
Rust |
24 |
Hierarchical derivations on Ed25519 |
Jan 13, 2022 |
|
None |
4 |
A curated list of awesome things related to learning zero knowledge proofs |
Apr 20, 2023 |
|
None |
2 |
A curated list of awesome things related to learning zero knowledge proofs |
Oct 27, 2023 |
|
C++ |
24 |
Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets) |
Jan 13, 2022 |
|
Python |
7 |
SCP proofs and models |
Jun 07, 2022 |
|
Isabelle |
407 |
seL4 specification and proofs |
Jul 26, 2022 |
|
Isabelle |
2 |
Teaclave specification and proofs. |
Jan 29, 2022 |
|
Python |
3 |
Math and other worksheets for kids. Excel worksheets for kids to teach them math and … |
Mar 04, 2023 |
|
Swift |
2 |
Math for procedurally generating things - Written in swift 1.2 |
Apr 10, 2019 |
|
Nix |
2 |
Nix derivations for linux-sgx |
Oct 07, 2021 |
|
None |
2765 |
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP). |
Aug 23, 2022 |
|
None |
3 |
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP). |
Apr 25, 2022 |
|
C++ |
16 |
A collection of useful things; sometimes proofs of concepts, sometimes production-ready code. |
Jul 23, 2022 |
|
None |
3 |
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP). |
Apr 28, 2023 |
|
Lean |
18 |
Formalism and proofs for esverify |
Mar 29, 2022 |
|
None |
2 |
Richfaces proofs, trials, and ideas |
Nov 30, 2013 |
|
HTML |
47 |
Research and implementation for non-interactive blockchain proofs of proofs of work |
Sep 13, 2022 |
|
Nix |
5 |
Nix derivations of common Prisma tools |
Jun 22, 2022 |
|
Python |
9 |
Nix derivations for hasekll-language-server |
Jul 18, 2020 |
|
Nim |
2 |
Painless Nimble dependencies in Nix derivations |
Jul 11, 2022 |
|
Shell |
3 |
Bundle Nix derivations to run anywhere! |
Jan 26, 2022 |
|
Haskell |
172 |
Explain why two Nix derivations differ |
Sep 19, 2022 |
|
Nix |
47 |
Build OpenWRT images in Nix derivations |
Apr 23, 2023 |
|
TypeScript |
2 |
Tools for creating Merkle trees, generating merkle proofs, and verification of merkle proofs. |
Nov 28, 2018 |
|
Agda |
5 |
[WIP] Lenses and optics from their formal (co)end derivations |
Apr 30, 2022 |
|
AMPL |
20 |
Collection of Kind2 programs and proofs |
Sep 09, 2022 |
|
C++ |
38 |
Efficient and Interactive Zero-Knowledge Proofs |
Aug 13, 2022 |
|
Python |
3 |
Vesting data converter and proofs generator. |
Mar 05, 2023 |
|
Python |
19 |
Cross-chain proofs and atomic transactions |
Jan 16, 2023 |
|
Go |
3 |
Demo of converting iavl range proofs into confio/proofs |
Dec 13, 2021 |
|
F# |
6 |
Convert .NET Core projects to nix derivations |
Apr 21, 2022 |
|
Nix |
12 |
GraalVM derivations to be used by projects |
May 10, 2022 |
|
Go |
361 |
Ethereum HD Wallet derivations in Go (golang) |
Aug 11, 2022 |
|
Go |
2 |
Ethereum HD Wallet derivations in Go (golang) |
Mar 11, 2023 |
|
Go |
4 |
Ethereum HD Wallet derivations in Go (golang) |
Apr 12, 2023 |
|
Nix |
2 |
Nix library for building custom Neovim derivations |
Apr 05, 2023 |
|
Haskell |
369 |
Interactively browse dependency graphs of Nix derivations. |
May 03, 2023 |
|
Nix |
22 |
Derivations for easily downloading Dhall binaries and putting them to use. |
Jul 10, 2022 |
|
JavaScript |
44 |
CLI and Node.js library for Ethereum HD Wallet derivations from mnemonic |
Jul 27, 2022 |
|
Nix |
2 |
Going off the deep end with Nix and C++. "Raw Derivations" |
Aug 07, 2022 |
|
Kotlin |
9 |
Arrow Proofs Plugin |
Feb 22, 2023 |
|
None |
11 |
Interesting ATP Proofs |
Mar 07, 2023 |