A programming language with static memory management based on λ-calculus

an experimental new programming language based on interaction nets

A post-modern modal text editor.

A GPU Accelerated Binary Vector Store

The P programming language.

System for collecting, deriving and working with facts about source code.

A language for symbolic transitions system, inspired by Ivy.

C-Reduce, a C and C++ program reducer

Slog 1.0

CUDA Templates for Linear Algebra Subroutines

A minimal proof checker.

Systems language with linear types and capability-based security.

The universal proxy platform

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: efficient and scalable parallel functional programming

CUDA Core Compute Libraries

C++20 [Minimal] Static Perfect Hash library

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

LLM training in simple, raw C/CUDA

CDCL SAT-solver for GPUs

A SAT solver in under 300 lines C++

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...