zhu1971 Goto Github PK

kakarot-app

Kakarot ZK-EVM Web Application

kakarot-ssj

Kakarot ZK-EVM in Cairo 1.0 🐺 ⚡

kclvm

A constraint-based record & functional language mainly used in configuration and policy scenarios.

kcon

KCon is a famous Hacker Con powered by Knownsec Team.

kira-rs

The example SysY compiler Kira for PKU compiler course, written in Rust.

klee

KLEE Symbolic Execution Engine

lagou

angularjs高仿拉勾网移动端

lagou-1

仿拉钩web端的微信小程序

lagou_vue

vue全家桶拉勾版，含爬虫，前后端，数据分析

lalr1

An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.

lambdaworks

The library for kids who wanna learn how to do SNARKs and learn other cryptographic stuff too

lambdaworks_stark_platinum

STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.

lattice

Lattice methods in TensorFlow

lattice-algebra

leaf

Open Machine Intelligence Framework for Hackers. (GPU/CPU)

learn-evm-attacks

Learn & Contribute on previously exploited vulnerabilities across several EVM projects.

learning-zkp

articles, codes and tools all about zero-knowledge proofs

libc

Raw bindings to platform APIs for Rust

libericc

Libericc: Lifetime Behavior Reconstruction by Inter-Component Communication

libonnx

A lightweight, portable pure C99 onnx inference engine for embedded devices with hardware acceleration support.

libsnark

C++ library for zkSNARKs

libsnark-tutorial

A zkSNARK tutorial and development environment

libsnark-tutorial-1

Tutorial and example code for using libsnark

libsnark_abc

Minimal examples to use libsnark.

libsnark_sample

Example to create merkle path proof using libsnark

liugh-parent

SpringBoot+SpringCloud Oauth2+JWT+MybatisPlus实现Restful快速开发后端脚手架

llvm-rust-getting-started

A super-simple compiler demoing how to talk to LLVM from Rust

machine-learning-learning-notes

周志华《机器学习》又称西瓜书是一本较为全面的书籍，书中详细介绍了机器学习领域不同类型的算法(例如：监督学习、无监督学习、半监督学习、强化学习、集成降维、特征选择等)，记录了本人在学习过程中的理解思路与扩展知识点，希望对新人阅读西瓜书有所帮助！

machinelearningwithme

A repository contains more than 10 common statistical machine learning algorithm implementations. 常见机器学习算法原理与实现

madara

🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀