Stars
List of papers studying machine learning through the lens of category theory
Yet another resource for collecting articles, videos etc. regarding functional programming
a collection of various algorithms written using recursion schemes
joke page until I decide what to do with this domain name
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
Haskell library for building declarative animations based on SVG graphics
tools for "Subete ga F ni naru" Ending
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Experimental implementation of Cubical Type Theory
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, se…
A set of keybindings for evil-mode
No Code of Conduct: A Code of Conduct for Adults in Open Source Software
A collection of resources for learning type theory and type theory adjacent fields.
😎 Awesome lists about all kinds of interesting topics
Materialette - A material design color palette