A package for marking and annotating in math blocks in Typst.

Ground Zero: Lean 4 HoTT Library

Easily and securely send things from one computer to another 🐊 📦

21st century AD

Typst live preview minor mode for emacs

Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages

Rayon: A data parallelism library for Rust

Julia bindings for Rust

Graph data structure library for Rust.

Chess in Lean 4

Statistics-driven benchmarking library for Rust

Tactics for discharging Lean goals into SMT solvers.

Photo Sharing. For Everyone.

Plugins for reveal.js

MATLAB-based solver package of Maxwell's equations by the FDFD method

Fast and simple fluid simulator in Julia

The HTML Presentation Framework

ACL2 System and Books as Maintained by the Community

[MIRROR, PRs ok! Issues: https://git.lix.systems/lix-project/lix/issues] A modern, delicious implementation of the Nix package manager, focused on correctness, usability, and growth — and committed…

Nix, the purely functional package manager

NixOS profiles for servers [maintainer=@numtide]

The Uncompromising Nix Code Formatter

a structural diff that understands syntax 🟥🟩

My hyprland configurations

DON'T FORK! This is a mirror for Valentina develop branch on GitHub and it's meant to be read-only. The main repo is https://gitlab.com/smart-pattern/valentina

CadQuery and Build123d integration for Blender

Automatic Finite Difference PDE solving with Julia SciML