aljce

Alice McKean's repositories

unpacked-maybe

Language:HaskellBSD-3-Clause800

stt

Monad Transformer for ST

Language:HaskellNOASSERTION400

kpf

Language:HaskellBSD-3-Clause3 10

nixos-configuration

Alice McKean's Nixos Configuration

Language:NixBSD-3-Clause3 20

avl

Language:AgdaMIT2 3 1

hmap

Language:Agda2 20

ava

Language:HaskellMIT1 20

compcomp

Formalizations of Computability and Complexity proofs

Language:Agda1 20

contiguous-sized

A safe, generic, sized indexed interface to primitive

Language:HaskellBSD-3-Clause1 20

ferus

An OCaml clone (for now)

Language:RustMIT1 20

thesis

A Replication of the AKS Primality Decision Algorithm

Language:AgdaMIT100

trasa-bittrex

Well typed bittrex bindings with trasa

Language:HaskellMIT1 20

agda-nix-problem

The hackage version of Agda doesn't build

Language:Nix020

agda-ring-solver

A fast, easy-to-use ring solver for agda with step-by-step solutions

Language:AgdaMIT010

beach

a simple shell

Language:Rust020

beam-migrate-nix

Reproducible environment to test beam-migrate-cli

Language:NixMIT030

bidirectional-type-checking

Language:TeX000

card-kingdom-parser

Upload your card kingdom orders to moxfield

Language:Rust000

client

Dark Forest client

GPL-3.0000

codata

Experiments with codata

Language:AgdaMIT010

doctest

An implementation of Python's doctest for Haskell

Language:HaskellMIT020

fast-nats

Language:HaskellMIT020

hakt

A Tak AI

Language:NixMIT020

hercules-testing

Language:Nix020

horcrux

Rust implementation of Shamir's Secret Sharing

Language:RustMIT010

pritunl

Enterprise VPN server

Language:PythonNOASSERTION000

reed

Language:TeXAGPL-3.0010

resume

Language:TeX010

ribbon

Language:Rust020

transformers-compat

transformers compatibility shim

Language:HaskellNOASSERTION000