Pythonic quantum-classical programming language

A testing ground for quantum computing compilation ideas in xdsl

A Python Compiler Design Toolkit

Final project for BSc Computer Science

A repository for material from the reading group on NbE

A massively parallel, optimal functional runtime in Rust

A Rust/WASM implementation of homotopy.io

Emacs ❤️ Sway

Generate texlive nix expressions for documents

A use-package declaration for simplifying your .emacs

I didn't buy an advent calendar this year so this is the second best thing

An experimental library for Cubical Agda

Manage a user environment using Nix [maintainer=@rycee]

Scripts I use for string and surface diagrams. (WIP)

Discord bots

An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.

Revised Omega-categorical Typechecker

A new Categories library for Agda

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

Nix Packages collection & NixOS