carnotweat Goto Github PK

1lab

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

agda-stc

Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.

alg

Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.

alonzo_nbe

Lambda calculus nbe-normalizer/parser/printer

application-isolation-nixos-containers

archlinux-nix

Bash script for managing the Nix package manager on Arch Linux

arewehackersyet

Tracking the availability of Kali Linux packages in NixOS

bash-preexec

⚡ preexec and precmd functions for Bash just like Zsh.

big-step-normalisation

Big step normalisation

blog

breakfast-haskell

trivial

build-haskell

The Docker based Haskell build toolchain

build-rust

The Docker based Rust build toolchain

capnproto

Cap'n Proto serialization/RPC system - core tools and C++ library

carnotweat.github.io

categorifier

Interpret Haskell programs into any cartesian closed category.

cbpv-in-agda

Formalization of Call-By-Push-Value, augmented with effect tracking

cl-permutation

Permutations and permutation groups in Common Lisp.

climod

Modular generated command line interfaces using the same technology as the NixOS module system.

config

Random config (v2, clean history)

coq

cps

curry-howard

cvc4

darkriscv

opensouce RISC-V cpu core implemented in Verilog from scratch in one night!

ddosify

"Canva" of Kubernetes Observability. Available on CLI, Self-Hosted, and Cloud - https://ddosify.com 🚀

dnschain

A blockchain-based DNS + HTTP server that fixes HTTPS security, and more!

dontfeartheprofunctoroptics

Don't Fear the Profunctor Optics!

dotemacs

learning from original and building on it

dotguix