Stars
🎛️ Unstyled & accessible knob primitive for React.
Emscripten: An LLVM-to-WebAssembly Compiler
Self-Created Tools to convert ONNX files (NCHW) to TensorFlow/TFLite/Keras format (NHWC). The purpose of this tool is to solve the massive Transpose extrapolation problem in onnx-tensorflow (onnx-t…
An AI-first build platform that connects everything from your editor to CI. Helping you deliver fast, without breaking things.
💫 vertico.el - VERTical Interactive COmpletion
An implementation of the `Monotonic` trait for DWT & SysTick
childframe doc for eglot and anything that uses eldoc
An incremental parsing system for programming tools
☄️ Simple but effective sorting and filtering for Emacs.
🔔 Better solution for incremental narrowing in Emacs.
Build and install your Emacs Lisp packages on-the-fly directly from source
A client for Language Server Protocol servers
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
Rust driver for the Sony PlayStation controllers using embedded-hal
openc2e is an open-source game engine for the games in the Creatures series.