Alex Rice's repositories
Language:HTML000
emacs-nix
Nix setup for emacs
Language:Nix000
Language:TeX000
tex-fmt
LaTeX formatter written in Rust
MIT000
Clarabel.rs
Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.
Apache-2.0000
nixpkgs
Nix Packages collection
Language:NixMIT000
agda-stdlib
The Agda standard library
Language:AgdaNOASSERTION000
rust-sitter
Use Tree Sitter to parse your own languages in Rust
Language:RustMIT000
lin_inf
Rust crate for working with relation webs and linear inferences
Language:Rust000
catt.io
Revised Omega-categorical Typechecker
Language:OCaml000
styx
Static site generator in Nix expression language.
Language:NixMIT000
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:HaskellNOASSERTION000
Language:Emacs Lisp000
tonic
A native gRPC client & server implementation with async/await support.
MIT000
000
Language:Emacs Lisp000
book
A textbook on informal homotopy type theory
000
000
Language:Agda000
Language:TeX000
agda-pkg
apkg - package manager for Agda
Language:PythonNOASSERTION000
nixpkgs-wayland
nixpkgs-wayland is an overlay for sway and other wlroots-related Wayland tools
Language:Nix000