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β¦
Build system, optimized for monorepos, with AI-powered architectural awareness and advanced CI capabilities.
π« 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
π consult.el - Consulting completing-read
βοΈ 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
ποΈ corfu.el - COmpletion in Region FUnction
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.