Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs

Demo for high-performance type theory elaboration

Minimalistic dependent type theory with syntactic metaprogramming

Haskell implementation of algebraic subtyping

Counterexamples in Type Systems

Contextual types meet mechanized metatheory!

ClipIt clipboard manager for GTK+

Matrix.org haskell client library

Numerical computation in native Haskell

A symbolic model checker for Dynamic Epistemic Logic.

Proof assistant based on the λΠ-calculus modulo rewriting

A fast functional language based on two level type theory

A menagerie of cute implementations of modern typechecking algorithms

EasyCrypt specifications of crypto primitives

EasyCrypt: Computer-Aided Cryptographic Proofs

Minimal implementations for dependent type checking and elaboration

A curated list of cryptography papers, articles, tutorials and howtos.

A collection of resources for learning type theory and type theory adjacent fields.

An ML-like functional programming language

A bytecode VM for a dynamically typed language, implemented in C

Manage system config using nix on any distro

The Eta Programming Language, a dialect of Haskell on the JVM

A utility for displaying the module dependencies of Haskell programs.

Hive OS client for GPU rigs

Tiny type-checker with dependent types

GUI library for Haskell based on GTK+

Generate Haskell bindings for GObject-Introspection capable libraries