andrewcmyers / constrainView external linksLinks
Responsive, animated figures in JavaScript/HTML canvases
☆138Feb 8, 2026Updated last week
Alternatives and similar repositories for constrain
Users that are interested in constrain are comparing it to the libraries listed below
Sorting:
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- ☆22Sep 8, 2024Updated last year
- Experiment with synthetic domain theory in cubical agda☆14Nov 8, 2022Updated 3 years ago
- ☆17Oct 31, 2025Updated 3 months ago
- [Mirror] A close reading of the μKanren paper.☆43Jun 14, 2022Updated 3 years ago
- 🔙 Backward lists for OCaml☆22Nov 21, 2025Updated 2 months ago
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 2 months ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- Tools for record-and-replay debugging☆44Mar 9, 2023Updated 2 years ago
- ☆24Oct 8, 2024Updated last year
- A zipper library for Racket☆20May 1, 2016Updated 9 years ago
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Sep 6, 2025Updated 5 months ago
- A monorepo for a self learning command palette driven by a final state machine implemented in XState.☆51Jan 10, 2022Updated 4 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- Final Year Project - A probabilisitic programming language in OCaml☆14May 10, 2020Updated 5 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆10Jul 31, 2025Updated 6 months ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- Miscellaneous Racket utilities lacking a better home☆14Updated this week
- A playground for building mesmerizing particle emitters.☆13Aug 6, 2023Updated 2 years ago
- A small-but-powerful typesafe state machine, designed to handle large state graphs☆13Dec 6, 2022Updated 3 years ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- 👹 A library for hierarchical names and lexical scoping☆26Nov 21, 2025Updated 2 months ago
- TTY interface for browser local usage of xterm.js.☆12Mar 15, 2024Updated last year
- A collection of SML utility modules that are useful for compiler writing.☆11Dec 17, 2025Updated last month
- OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler☆16Sep 6, 2015Updated 10 years ago
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- Use awk to provide cut like syntax for field extraction☆17Jul 8, 2021Updated 4 years ago
- ☆12Jun 13, 2023Updated 2 years ago
- Hyperapp demo, including an xstate variant☆12Jan 7, 2023Updated 3 years ago
- System-on-a-Chip for FPGA, with xr16 RISC core and LCC port☆12Jul 23, 2017Updated 8 years ago
- ☆11Jul 8, 2020Updated 5 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Dec 9, 2024Updated last year
- Process CSV and TSV files with SQL.☆13May 27, 2022Updated 3 years ago
- A spatial-temporal map of the whole human history backed by a small SQLite db in browser.☆21Jul 7, 2025Updated 7 months ago
- A heuristic procedure for proving inequalities☆34Sep 4, 2018Updated 7 years ago
- Realtime grep for OCaml/Coq sources available on opam☆87Sep 5, 2024Updated last year
- ☆44Aug 2, 2025Updated 6 months ago
- An implementation of "A Pretty Expressive Printer" in Racket☆28Feb 3, 2024Updated 2 years ago