sksat
Follow
Lists (4)
Stars
A web-based loop shaping control design tool for analyzing and designing feedback control systems.
Fancy extension for std::error::Error with pretty, detailed diagnostic printing.
A library for generating TypeScript definitions from rust code.
A rust crate that provides the usual logger macros and either forwards them to the `log` or `defmt` crate, depending on the enabled features.
[WIP] A kernel in Rust designed to provide a universal, multi-ABI container runtime.
Beautiful, open source, WebGPU-based charting library
Repository for the CWL standards. Use https://cwl.discourse.group/ for support 😊
Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.
A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.
Open-source scientific and technical publishing system built on Pandoc.
A stacking window manager built around animation, gesture, and spatial interaction.
Kana-Kanji Conversion Module written in Swift, supporting Neural Kana-Kanji Conversion and other cool features.
Japanese input method for fcitx5, powered by azooKey engine
A test harness and runner for embedded devices
A drop-in replacement for react-markdown, designed for AI-powered streaming.
Type-safe, extensible, and high-performance background processing library for Rust
🦎 a tool to build and deploy software on many servers 🦎
Library of parts modelled in OpenSCAD and a framework for making projects
Production-grade client-side tracing, profiling, and analysis for complex software systems.