He1pa

WTF-zk

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

mindwm-gitops

opa

Open Policy Agent (OPA) is an open source, general-purpose policy engine.

plonk

Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.

Triton-Puzzles

Puzzles for learning Triton

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

torchdynamo

A Python-level JIT compiler designed to make unmodified PyTorch programs faster.

triton

Development repository for the Triton language and compiler

jedi-language-server

A Python language server exclusively for Jedi. If Jedi supports it well, this language server should too.

jedi

Awesome autocompletion, static analysis and refactoring library for python

parking_lot

Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.

core

MoonBit's Core library

vllm

A high-throughput and memory-efficient inference and serving engine for LLMs

ton

Main TON monorepo

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

slither

Static Analyzer for Solidity and Vyper

ScType

rustc-dev-guide

A guide to how rustc works and how to contribute to it.

TypeFunc

Resources for type theory, functional programming, etc.

forro

A sample verifier for a toy language built on top of Boogie

ndarray

ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations

numpy

The fundamental package for scientific computing with Python.

Book-Python-Neural-Network

Python神经网络编程/Python神經網絡編程 [Python Neural Network]

txt2tags

Convert plain text into many markup languages

pkl

A configuration as code language with rich validation and tooling.

zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

era-compiler-vyper

Vyper compiler for ZKsync

era-compiler-solidity

Solidity compiler for ZKsync

sway

🌴 Empowering everyone to build reliable and efficient smart contracts.