alexkeizer Goto Github PK

aoc2022

Solutions to Advent of Code 2022

bitblast

bitwarden-self-host

Bitwarden's self-hosted release repository

boundingdiameters

Gephi plugin for the BoundingDiameters algorithm

calcudokusolver

doc-gen4

Document Generator for Lean 4

fp-idris-project

A PCF type checker and implementer implemented in Idris2

lean-naming-lint

A linter for Lean 4 that checks whether definitions conform with Mathlib4's naming convention

lean4

Lean 4 programming language and theorem prover

lean4-metaprogramming-book

leancolls

WIP collections library for Lean 4

leanmeetup

list-powers-problem

loom

Concurrency permutation testing tool for Rust.

mathlib3port

Synport output from mathport for mathlib3

mathlib4

Work in progress mathlib port for lean 4

mc-big-brother

modaltypes

moetikeenrietbak

partial-monad

qpf4-example

qpftypes

A WIP definitional (co)datatype package for Lean4

quote4

Intuitive, type-safe expression quotations for Lean 4.

rust-base2048-compat

base2048 encoding to encode data for twitter efficiently (compatible with npm module)

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

spliterasedmwe

thesis

zalgo_codec

A crate for converting an ASCII text string or file to a single unicode character. Can also do the same to python code while still letting the code run as before by wrapping it in a decoder.