Lists (3)
Stars
Create guided tours in your apps
The modern, lightweight, performant, accessible and extensible drag & drop toolkit for React.
The web framework for content-driven websites. ⭐️ Star to support our work!
Next-gen language engineering / DSL framework
📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.
Per-device scrolling prefs on macOS.
WIP formally-verified implementation of mergesort (efficient; only allocates one auxiliary array, sorts arrays in-place)
NPM Tool That Audits Projects For Broken Links
Adds features to the racket universe big-bang: magnification and an overlay that shows the events as they occur.
Guaranteed linear time parsing with typed parser combinators.
A modern Wine wrapper for macOS built with SwiftUI
A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf
An example extension for Racket Review.
An Introduction to Redex with Abstracting Abstract Machines
very good whiteboard SDK / infinite canvas SDK
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
An implementation of Haskell’s MVars in Racket