Alex Rice's repositories
agda-stdlib
The Agda standard library
Language:AgdaNOASSERTION000
Language:Agda000
Clarabel.rs
Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.
Apache-2.0000
emacs-nix
Nix setup for emacs
Language:Nix000
Language:Emacs Lisp000
nixpkgs-wayland
nixpkgs-wayland is an overlay for sway and other wlroots-related Wayland tools
Language:Nix000
rust-sitter
Use Tree Sitter to parse your own languages in Rust
Language:RustMIT000
000
tex-fmt
LaTeX formatter written in Rust
MIT000
Language:TeX000
tonic
A native gRPC client & server implementation with async/await support.
MIT000