april

awesome-answers. Curated list of inspiring and thoughtful answers given on stackoverflow, quora, etc.

faeth. algebraic typechecking and elaboration of type systems

idris2-spacemacs. It may work, use at your own discretion.

hayo-s-in-haskell. Hayo Thielecke's PhD thesis SML '93 code translated into simple Haskell

jsq. Metaprogramming JavaScript... in Haskell. A fork of jmacro

hands-on-rust. Rust

unicorn. Purely functional GUI algebra

cyberglot.

node-vs-elixir. implementações

typed-lvar. semantics, typing rules and proofs of a call-by-value parallel calculus with LVars.

elmstatic-hyde. CSS

agda-lecture-notes. Agda lecture notes for the Functional Programming course at TU Delft

lean4-playground. Lean

MetaprogAgda. being the materials for Summer 2013's course

learning-plt-redex. Racket

a-journey-towards-unification. unfortunately not a tale about social changes