zk-languages
ZK language demos
Introduces various programming languages with zk cryptography capabilities for secure computations and smart contracts
Introduction to various ZK languages
58 stars
1 watching
8 forks
Language: Starlark
last commit: 11 months 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. | 121 |
 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,033 |
 danvk/effective-typescript | An exhaustive collection of TypeScript code samples and explanations to improve programming skills in the language | 1,582 |
 tamakichi/ttbasic_microbit | A portable, text-based programming language and environment for the micro:bit microcontroller | 7 |
 coder5876/libsnark-tutorial | A tutorial and example code project for creating zk-SNARKs using the libsnark software library | 191 |
 teknologi-umum/flourite | Automatically detects programming languages from given strings. | 39 |
 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 | 296 |
 marcpaq/b1fipl | A collection of single-file implementations of various programming languages | 999 |
 przeprogramowani/typescript-challenges | A collection of challenges to learn TypeScript | 164 |
 o1-labs/o1js | An evolution of SnarkyJS, providing a toolkit for building zero-knowledge-enabled applications using zk-SNARKs and zkApps in TypeScript. | 540 |