Lists (17)
Stars
A high-performance library for numerically solving differential equations in Rust
A local-first, cross-platform note-taking app leveraging the Typst ecosystem, designed to minimize distractions and enhance the retention of information.
Validate and execute GitHub Actions workflows locally.
Monty is a sensorimotor learning framework based on the thousand brains theory of the neocortex.
a complex numbers, 2d/3d graphing, arbitrary precision, vector/matrix, cli calculator with real-time output and support for units
Lean 4 port of Iris, a higher-order concurrent separation logic framework
A reactive async UI framework built upon masonry.
A simple but highly customizable and efficient cross-platform components library for Dioxus 0.6 based on TailwindCSS 4.
a simple computational graph builder for constraint checking
Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need
Compiler optimizer for arbitrary control flow based on equality saturation
security-union / nokhwa
Forked from l1npengtul/nokhwaCross Platform Rust Library for powerful Webcam Capture
HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
Exocompilation for productive programming of hardware accelerators