Stars
An extensive math library for JavaScript and Node.js
Convert a repository structure and its contents into a single text file, including the tree output and file contents in markdown code blocks. It may be useful to chat with LLM about your code.
Implementation of the relational algebra
A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.
Strongly typed string functions
Embedding of The Theory of Abstract Objects in Isabelle/HOL
(NOTE! This has not been updated since Elm 0.15.1.) Streamlined long-form writing software. Written in Elm.
A set of specifications or signatures on algebraic modules and an implementation of a standard library built to match.
Experiments in procedural grids with js and HTML canvas
Teaching Repository of Christoph Benzmueller
super tiny implementation of higher-order logic proof assistant in lean
A declarative library for transforming objects
A functional programming library designed to simplify building complex regular expressions
repo for functional programming 101 youtube video series
A starter repository for a blog web site using the Eleventy static site generator.
A JavaScript library for creating multiline SVG <text> elements. Works seamlessly alongside SVG manipulation libraries such as Snap.svg and D3.
Simple 11ty setup using TypeScript, SASS, Preact with partial hydration, and other useful things. Aims to provide the DX of Gatsby, but using 11ty!
https://medium.com/@wityan/next-js-project-structure-1531610bed71
A physics-based animation library for React focused on modeling natural world forces.
Notes and samples for understanding the basics of ReasonML.
StyleFlow: Attribute-conditioned Exploration of StyleGAN-generated Images using Conditional Continuous Normalizing Flows (ACM TOG 2021)
A modern commutative diagram editor for the web.
JavaScript syntax highlighter with language auto-detection and zero dependencies.
Interactive roadmaps, guides and other educational content to help developers grow in their careers.