Pinned Repositories
compcomp
Formalizations of Computability and Complexity proofs
hmap
hrecursion-schemes
kpf
nixos-configuration
Alice McKean's Nixos Configuration
servant-render
Servant + Reflex = Web Framework
stt
Monad Transformer for ST
thesis
A Replication of the AKS Primality Decision Algorithm
unpacked-maybe
trasa
Safe web routing in haskell
aljce's Repositories
aljce/unpacked-maybe
aljce/stt
Monad Transformer for ST
aljce/kpf
aljce/nixos-configuration
Alice McKean's Nixos Configuration
aljce/avl
aljce/hmap
aljce/ava
aljce/compcomp
Formalizations of Computability and Complexity proofs
aljce/contiguous-sized
A safe, generic, sized indexed interface to primitive
aljce/ferus
An OCaml clone (for now)
aljce/thesis
A Replication of the AKS Primality Decision Algorithm
aljce/trasa-bittrex
Well typed bittrex bindings with trasa
aljce/agda-nix-problem
The hackage version of Agda doesn't build
aljce/agda-ring-solver
A fast, easy-to-use ring solver for agda with step-by-step solutions
aljce/beach
a simple shell
aljce/beam-migrate-nix
Reproducible environment to test beam-migrate-cli
aljce/bidirectional-type-checking
aljce/card-kingdom-parser
Upload your card kingdom orders to moxfield
aljce/client
Dark Forest client
aljce/codata
Experiments with codata
aljce/doctest
An implementation of Python's doctest for Haskell
aljce/fast-nats
aljce/hakt
A Tak AI
aljce/hercules-testing
aljce/horcrux
Rust implementation of Shamir's Secret Sharing
aljce/pritunl
Enterprise VPN server
aljce/reed
aljce/resume
aljce/ribbon
aljce/transformers-compat
transformers compatibility shim