Giters
penguin_wwy (penguin-wwy)

penguin-wwy

Geek Repo

247

followers

348

following

663

stars

Company:tencent

Location:Shanghai

Home Page:https://penguin-wenyang.wang

Github PK Tool:Github PK Tool

penguin_wwy's starred repositories

gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts

Language:HTMLLicense:NOASSERTIONStargazers:294Issues:0Issues:0

narya

A proof assistant for higher-dimensional type theory

Language:OCamlLicense:GPL-3.0Stargazers:136Issues:0Issues:0

xDiT

xDiT: A Scalable Inference Engine for Diffusion Transformers (DiTs) on multi-GPU Clusters

Language:PythonLicense:Apache-2.0Stargazers:441Issues:0Issues:0

rustworkx

A high performance Python graph library implemented in Rust.

Language:RustLicense:Apache-2.0Stargazers:1038Issues:0Issues:0

sofp

A free book: "The Science of Functional Programming"

Language:TeXLicense:GPL-2.0Stargazers:1303Issues:0Issues:0

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustLicense:Apache-2.0Stargazers:32556Issues:0Issues:0

lmdeploy

LMDeploy is a toolkit for compressing, deploying, and serving LLMs.

Language:PythonLicense:Apache-2.0Stargazers:4106Issues:0Issues:0

virgil

A fast and lightweight native programming language

Language:ShellStargazers:1206Issues:0Issues:0

oneDNN

oneAPI Deep Neural Network Library (oneDNN)

Language:C++License:Apache-2.0Stargazers:3577Issues:0Issues:0

clangir

A new (MLIR based) high-level IR for clang.

Language:LLVMLicense:NOASSERTIONStargazers:332Issues:0Issues:0

rupta

A Pointer Analysis Framework for Rust

Language:RustLicense:GPL-3.0Stargazers:39Issues:0Issues:0

neovim

Vim-fork focused on extensibility and usability

Language:Vim ScriptLicense:NOASSERTIONStargazers:81478Issues:0Issues:0

Bend

A massively parallel, high-level programming language

Language:RustLicense:Apache-2.0Stargazers:17162Issues:0Issues:0

shiroa

shiroa is a simple tool for creating modern online books in pure typst.

Language:RustLicense:Apache-2.0Stargazers:244Issues:0Issues:0

symbolica

A modern computer algebra library for Python and Rust.

Language:RustLicense:NOASSERTIONStargazers:447Issues:0Issues:0

LapisCV

📃 开箱即用的 Obsidian / Typora 简历

Language:CSSLicense:MITStargazers:2598Issues:0Issues:0

SHARK-Turbine

Unified compiler/runtime for interfacing with PyTorch Dynamo.

Language:PythonLicense:Apache-2.0Stargazers:90Issues:0Issues:0

candle

Minimalist ML framework for Rust

Language:RustLicense:Apache-2.0Stargazers:15017Issues:0Issues:0

creusot

Creusot helps you prove your code is correct in an automated fashion.

Language:RustLicense:LGPL-2.1Stargazers:1105Issues:0Issues:0

WTF-zk

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

Language:Jupyter NotebookLicense:MITStargazers:1479Issues:0Issues:0

oss-fuzz-gen

LLM powered fuzzing via OSS-Fuzz.

Language:PythonLicense:Apache-2.0Stargazers:804Issues:0Issues:0

sglang

SGLang is a fast serving framework for large language models and vision language models.

Language:PythonLicense:Apache-2.0Stargazers:4946Issues:0Issues:0

zydis

Fast and lightweight x86/x86-64 disassembler and code generation library

Language:CLicense:MITStargazers:3362Issues:0Issues:0

youre-the-os

A game where you are a computer's OS and you have to manage processes, memory and I/O events.

Language:PythonLicense:GPL-3.0Stargazers:1791Issues:0Issues:0

kex

A platform for analysis of Java bytecode

Language:KotlinLicense:Apache-2.0Stargazers:27Issues:0Issues:0

pypy

PyPy is a very fast and compliant implementation of the Python language.

Language:PythonLicense:NOASSERTIONStargazers:920Issues:0Issues:0

HOL

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

Language:Standard MLLicense:NOASSERTIONStargazers:615Issues:0Issues:0

Smart-Intermediate-Representation

A brand-new multi-scenarios smart contract compiler framework

Language:RustLicense:Apache-2.0Stargazers:72Issues:0Issues:0

vast

VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.

Language:C++License:Apache-2.0Stargazers:381Issues:0Issues:0

apalache

APALACHE: symbolic model checker for TLA+ and Quint

Language:ScalaLicense:Apache-2.0Stargazers:427Issues:0Issues:0