A neurosymbolic perspective on LLMs

Distributed High-Performance Symbolic Regression in Julia

ML software (llama.cpp, ComfyUI, vLLM) builds for AMD gfx906 GPUs, e.g. Radeon VII / MI50 / MI60

Reinforcement learning environments for compiler and program optimization tasks

VS Code rebuilt on Tauri. Same architecture, 96% smaller. Early release.

stalin brutally optimizing Scheme compiler, with Debianization patches

Implementations of SIMD instruction sets for systems which don't natively support them.

Official version of the Meow hash, an extremely fast level 1 hash

Shen/Scheme implementation

A dynasm-like tool for rust.

Open-source CUDA, Triton and HIP compiler targeting multiple GPU and CPU architectures.

The Z3 Theorem Prover

SRI Yices SMT Solver

Google's Operations Research tools:

Linear optimization software

The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver

Implementation of Espresso-II method for heuristic minimization of single output boolean functions

Canonical miniKanren implementation in Racket

Shen language kernel sources for porters

Experiments in accelerating finite fields on ARM64

The new nanopass framework; an embedded DSL for writing compilers in Scheme

RISC-V Open Source Supervisor Binary Interface

Shen KLambda to KLVM translator.

A Go implementation of the Shen programming language

Shen experimental libraries

A CPU tool for benchmarking the peak of floating points