zk-languages
by microbecode
Introduction to various ZK languages
AI summary
ZK language demos
Introduces various programming languages with zk cryptography capabilities for secure computations and smart contracts
- stars
- 58
- forks
- 8
- watching
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Source generator
Generates source code in multiple languages from TypeScript
ML ZK demo
A demo project that integrates machine learning and zero-knowledge proof verification in a web application using TypeScript.
Language generator
An example of creating a minimalist programming language with a simple grammar and syntax
Micro:bit examples
Provides code examples and documentation for a micro:bit development platform
Clojure docs site
An online documentation platform for the Clojure programming language and its ecosystem.
TypeScript guidance repository
An exhaustive collection of TypeScript code samples and explanations to improve programming skills in the language
Micro:bit IDE
A portable, text-based programming language and environment for the micro:bit microcontroller
zk-SNARK library
A tutorial and example code project for creating zk-SNARKs using the libsnark software library
Language detector
Automatically detects programming languages from given strings.
Converter
Tools to convert Kosmtik projects into MBTiles format
jmorag/mcc116
Compiler
Compiles the MicroC programming language into machine code using Haskell
Contract guide
A practical tutorial on creating and verifying zkSNARKs in contracts
Programming language examples
A collection of single-file implementations of various programming languages
TypeScript tutorials
A collection of challenges to learn TypeScript
o1-labs/o1js540
Zk framework library
An evolution of SnarkyJS, providing a toolkit for building zero-knowledge-enabled applications using zk-SNARKs and zkApps in TypeScript.
