stites Goto Github PK

.nixpkgs

.nixpkgs aka dotfiles with nix

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

ace-flake

NixOS flake to manage ACE install

acm-org-template

An org-mode template for papers submitted to ACM conferences

acmart

ACM consolidated LaTeX styles

adt

Algebraic data types for Python

agda-unimath

The agda-unimath library

agenix

age-encrypted secrets for NixOS

alga

Algebraic graphs

alter-space

arcane-refuge

gswd

archivenow

A Tool To Push Web Resources Into Web Archives

auctex-latexmk

This library adds LatexMk support to AUCTeX.

backprop

Heterogeneous automatic differentiation ("backpropagation") in Haskell

baselines

OpenAI baselines: high-quality implementations of reinforcement learning algorithms

bostoncc

Website for the Boston Computation Club

browserstats

Quantified Self for the internet

cargo2nix

Granular caching, development shell, Nix & Rust integration

causalml

A course on causal machine learning.

cfun

Some fun little exercises in C.

clamped

Example project using clamp package

clr

cmt

Write consistent git commit messages based on a custom template

co-log-fused-effects

A fused-effects interface to the co-log ecosystem.

combinators

Inference Combinators for Probabilistic Torch

composition

Type composition in haskell for study of Monad Transformers

configs

my personal bashrc and any other system settings that happen to make it's way here.

configs-mirror

mirror of my configs (hosted at gitlab).

constan

Zach Murray's honours project (with thesis)

coq-proba

A Probability Theory Library for the Coq Theorem Prover