🇺🇦
stand with Ukraine
Stars
5
stars
written in TeX
Clear filter
Open source book dedicated to helping you to make the best possible sourdough bread at home.
Clever Algorithms: Nature-Inspired Programming Recipes
Research on integrating datalog & lambda calculus via monotonicity types
pitag-ha / OCanren
Forked from PLTools/OCanrenStatically typed embedding of miniKanren relational programming language into Objective Caml