MaybeVoid

mononym

Type-level named values with partial dependent type support in Rust

casimir

Algebraic Effects in Haskell using Implicit Parameters

lambek

Type-Level Programming in Rust

dabble

Row Polymorphism in Haskell

ferrite-forked

Session Type Library for Rust

context-generic-programming-hs-demo

Demo of using context-generic programming in Haskell

quasi-params

Labeled parameters as constraints in Haskell

apply-m

Monadic lift effectful function arguments

charon

Interface with the rustc compiler for the purpose of program verification

generic-greet

Example generic greet functions for generic programming in Rust

nix-workshop

Nix Workshop Tutorials

aeneas

A verification toolchain for Rust programs

effects-benchmark-nix

Nix setup for running effects-benchmark

effects-benchmarks

Benchmarking Haskell extensible-effect libraries.

haskell-code-explorer

Web application for exploring and understanding Haskell codebases

ibc-rs

IBC Relayer (Hermes) and Modules in Rust

implicit-effects-haddock

Haddock documentation GitHub pages for implicit-effects

lambek-doc

maybevoid-nix

Common Nix expressions for MaybeVoid projects

maybevoid-projects

Haskell projects by MaybeVoid

maybevoid.com

maybevoid.com-racket

Old static site source code for maybevoid.com

this-week-in-rust

Data for this-week-in-rust.org