Beast code in Giters

Alex Rice's repositories

dotfiles

Language:Nix3 30

all-agda

A nix flake which provides compatible library versions for various versions of Agda.

Language:Nix2 30

GroupsUF

Language:TeX2 40

nixmacs

Emacs distribution using the nix module system

Language:NixGPL-3.02 3 3

catt-agda

Language:Agda1 30

catt-strict

Language:Rust100

Groups

Language:Agda1 3 1

homepage-styx

Language:Nix100

act2021

Language:HTML020

aoc2022

Language:Emacs Lisp020

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION020

agda-pkg

apkg - package manager for Agda

Language:PythonNOASSERTION020

agda-stdlib

The Agda standard library

Language:AgdaNOASSERTION000

alexarice.github.io

Language:HTML030

book

A textbook on informal homotopy type theory

Language:TeX020

categories-uf

Language:Agda000

catt.io

Revised Omega-categorical Typechecker

Language:OCaml010

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

lin_inf

Rust crate for working with relation webs and linear inferences

Language:Rust030

literate-agda-mode

Language:Emacs Lisp000

merging

Language:TeX030

nixpkgs

Nix Packages collection

Language:NixMIT030

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

styx

Static site generator in Nix expression language.

Language:NixMIT010

Syllepsis

000

tex-fmt

LaTeX formatter written in Rust

MIT000

thesis

Language:TeX000

tonic

A native gRPC client & server implementation with async/await support.

MIT000