-
Nanjing University
- Nanjing
Highlights
- Pro
Stars
System for collecting, deriving and working with facts about source code.
A language for symbolic transitions system, inspired by Ivy.
A minimal proof checker.
Systems language with linear types and capability-based security.
Hysteria is a powerful, lightning fast and censorship resistant proxy.
A library for building fast, reliable and evolvable network services.
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
A modern supercompiler for call-by-value functional languages
A lightweight library for portable low-level GPU computation using WebGPU.
A Python framework for high performance GPU simulation and graphics
Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
The MaPLe compiler for efficient and scalable parallel functional programming
CUDA C library which implements SAT branching heuristics on the GPU.
AKShare is an elegant and simple financial data interface library for Python, built for human beings! 开源财经数据接口库
Development repository for the Triton language and compiler
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Time-sensitive affine types for predictable hardware generation
ARV: Asynchronous RISC-V Go High-level Functional Model
Interpreter for the reversible functional language rFun