stefanboere
Follow
Stars
Create a private PaaS on Hetzner Cloud in minutes using nix-infra.
Rust port of Floating UI with support for Leptos and Yew.
NixOS profiles for servers [maintainer=@numtide]
Code used by the "Clifford Group Equivariant Neural Networks" paper.
Supplanting matrices with PGA in a forward 3D renderer.
Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]
A 2-d, constraint-solving CAD for rapid prototyping
A pretty printing calculator language with support for units. Makes calculations easier and more presentable with real time LaTeX output, along with support for units, variables, and mathematical f…
Chartistry is an extensible charting library for Leptos
A modern computer algebra library for Python and Rust.
A simple, expressive, embeddable programming language, made with Rust
a declarative way of using keyboard shortcuts callbacks in leptos applications
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
Simple, extensible multithreaded background job and message processing library for Rust
A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
Async state management for Leptos, providing simplified data fetching, integrated reactivity, SSR support, and smart cache management.
An awesome SurrealDB migration tool, with a user-friendly CLI and a versatile Rust library that enables seamless integration into any project.
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
I18n library for leptos focused on ease of use and correctness
A scalable, distributed, collaborative, document-graph database, for the realtime web
Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]
Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht]
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
Early-stage b-rep CAD kernel, written in the Rust programming language.