KomaEc

Hanliang Zhang's starred repositories

duchess

Silky smooth Java-Rust interop

Language:RustApache-2.010300

llm.c

LLM training in simple, raw C/CUDA

Language:CudaMIT2024700

typetag

Serde serializable and deserializable trait objects

Language:RustApache-2.0106800

aici

AICI: Prompts as (Wasm) Programs

Language:RustMIT179700

HIPIFY

HIPIFY: Convert CUDA to Portable C++ Code

Language:C++MIT41700

cs2kz-metamod

Metamod Plugin for CS2 KZ

Language:C++GPL-3.010600

ascent

logic programming in Rust

Language:RustMIT37200

minirust

A precise specification for "Rust lite / MIR plus"

Language:RustApache-2.077300

flux

Refinement Types for Rust

Language:RustMIT56700

sourcepawn

A small, statically typed scripting language.

Language:C++NOASSERTION35400

kani

Kani Rust Verifier

Language:RustApache-2.0199400

xtuner

An efficient, flexible and full-featured toolkit for fine-tuning LLM (InternLM2, Llama3, Phi3, Qwen, Mistral, ...)

Language:PythonApache-2.0296300

ChatLaw

ChatLaw：A Powerful LLM Tailored for Chinese Legal. 中文法律大模型

AGPL-3.0654800

B2T2

The Brown Benchmark for Table Types (B2T2)

Language:TypeScript6100

difftastic

a structural diff that understands syntax 🟥🟩

Language:RustMIT1980200

smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

Language:C++NOASSERTION9700

cs-self-learning

计算机自学指南

Language:HTMLMIT5131400

GameTracking-CS2

📥 Game Tracker: Counter-Strike 2

Language:JavaScript62700

counterexamples

Counterexamples in Type Systems

Language:JavaScript35300

Malloc-Implementations

A collection of memory allocators

Language:C42800

vanilla-lang

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

Language:HaskellMIT8700

microsat

Language:CMIT12700