zk-languages
ZK programming examples
Demonstrates various ZK programming languages through simple programs and contracts
Introduction to various ZK languages
49 stars
1 watching
4 forks
Language: TypeScript
last commit: about 1 month ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 cdklabs/jsii-srcmak | Generates source code in multiple languages from TypeScript | 20 |
 0xzkml/zk-mnist | A demo project that integrates machine learning and zero-knowledge proof verification in a web application using TypeScript. | 119 |
 marciok/mu | An example of creating a minimalist programming language with a simple grammar and syntax | 1,048 |
 titimoby/microbit4all | Provides code examples and documentation for a micro:bit development platform | 1 |
 zk/clojuredocs | An online documentation platform for the Clojure programming language and its ecosystem. | 1,030 |
 danvk/effective-typescript | An exhaustive collection of TypeScript code samples and explanations to improve programming skills in the language | 1,566 |
 tamakichi/ttbasic_microbit | A portable, text-based programming language and environment for the micro:bit microcontroller | 8 |
 coder5876/libsnark-tutorial | A tutorial and example code project for creating zk-SNARKs using the libsnark software library | 190 |
 teknologi-umum/flourite | Automatically detects programming languages from given strings. | 38 |
 kosmtik/kosmtik-mbtiles-export | Tools to convert Kosmtik projects into MBTiles format | 9 |
 jmorag/mcc | Compiles the MicroC programming language into machine code using Haskell | 116 |
 jstoxrocky/zksnarks_example | A practical tutorial on creating and verifying zkSNARKs in contracts | 295 |
 marcpaq/b1fipl | A collection of single-file implementations of various programming languages | 999 |
 przeprogramowani/typescript-challenges | A collection of challenges to learn TypeScript | 162 |
 o1-labs/o1js | An evolution of SnarkyJS, providing a toolkit for building zero-knowledge-enabled applications using zk-SNARKs and zkApps in TypeScript. | 525 |