Starred repositories
A lightweight library for portable low-level GPU computation using WebGPU.
WebGPU/WebGL accelerated numpy-compatible array library for web browser
Native WebGPU implementation. Mirror of https://dawn.googlesource.com/dawn. File bugs here: https://crbug.com/dawn/new
Native WebGPU implementation based on wgpu-core
Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 3, Mistral Small 3.1 and other large language models.
lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋
A cross-platform file change monitor with multiple backends: Apple macOS File System Events, *BSD kqueue, Solaris/Illumos File Events Notification, Linux inotify, Microsoft Windows and a stat()-bas…
Karabiner-Elements is a powerful tool for customizing keyboards on macOS
Proposed compiler and language changes for GHC and GHC/Haskell
Exploring the scalable matrix extension of the Apple M4 processor
Experiment on how to bootstrap the OCaml compiler
A cross platform C99 library to get cpu features at runtime.
Branch of the spec repo scoped to discussion of GC integration in WebAssembly