handbook-of-practical-logic-and-automated-reasoning-in-racket

sls

OL1V3R: Reimplementation of "Stochastic Local Search for Satisfiability Modulo Theories" in Racket (probably with support of FP)

leetcode.hs

Selected leetcode problem solutions in Functional Programming Languages

ct-fuzz-artifact