- All languages
- C
- C#
- C++
- CSS
- Crystal
- Cuda
- Dart
- Dockerfile
- Go
- HLSL
- HTML
- Haskell
- Janet
- Java
- JavaScript
- JetBrains MPS
- Jupyter Notebook
- LLVM
- Liquid
- Lua
- MLIR
- Makefile
- Nim
- OCaml
- Objective-C
- Pony
- PowerShell
- Processing
- Python
- Reason
- Ruby
- Rust
- SCSS
- Shell
- Solidity
- Swift
- TeX
- TypeScript
- V
- Verilog
- Vim Script
- Vue
- Yacc
- Zig
Starred repositories
A modern runtime for JavaScript and TypeScript.
Extremely fast Query Engine for DataFrames, written in Rust
Relay is a JavaScript framework for building data-driven React applications.
An idiomatic, lean, fast & safe pure Rust implementation of Git
🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.
Fast web applications through dynamic, partially-stateful dataflow
Minimal implementation of the Mimblewimble protocol.
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
Community showcase and examples of Actix Web ecosystem usage.
It's a New Kind of Wrapper for Exposing LLVM (Safely)
KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io
A simple Minecraft written in Rust with the Piston game engine
The fast sync and async channel that Rust deserves
ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.
A STARK prover and verifier for arbitrary computations
JIT compiler and runtime for a toy language, using Cranelift
OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)