☆13Sep 14, 2026Updated last month
Alternatives and similar repositories for huygens
Users that are interested in huygens are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A toolkit for higher-dimensional diagram rewriting.☆21Sep 15, 2022Updated 4 years ago
- CAP project -- Categories, Algorithms, and Programming☆45Oct 27, 2026Updated last week
- ☆11Oct 23, 2026Updated 2 weeks ago
- ☆11Nov 14, 2020Updated 5 years ago
- ☆14Oct 13, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Python module for reading CO2 concentration from a Senseair S8 sensor connected to a Raspberry Pi☆16Aug 22, 2025Updated last year
- A database of small finite categories☆15Aug 26, 2026Updated 2 months ago
- Unstable egglog standard library.☆18Oct 30, 2026Updated last week
- Emacs client for Semantic Synchrony knowledge graphs☆12Jan 2, 2026Updated 10 months ago
- A small template to start your raylib game☆19Dec 15, 2025Updated 10 months ago
- Mirror of ocaml-forester☆52Jun 18, 2024Updated 2 years ago
- General-purpose utility library for Swift☆14Feb 17, 2025Updated last year
- A language for writing command line interfaces in Racket☆15Dec 20, 2021Updated 4 years ago
- A column-oriented, dataframe implementation for Racket.☆17Sep 4, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An encoding of Zermelo-Fraenkel Set Theory in Coq☆31Dec 17, 2022Updated 3 years ago
- ☆15Oct 23, 2026Updated 2 weeks ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆86Feb 14, 2021Updated 5 years ago
- Provides a simple interface to evaluating Emacs Lisp expressions but without contaminating current Emacs.☆34Jun 12, 2022Updated 4 years ago
- Utensil's Zettelkasten-style forest of evergreen notes on math and tech.☆13Updated this week
- ☆26Feb 25, 2024Updated 2 years ago
- My solutions for Advent of Code☆24Jan 8, 2026Updated 9 months ago
- A DSL for the internal language of a topos☆69Mar 14, 2026Updated 7 months ago
- Notes and exercises from Mathematical Logic, 2nd ed. by Ebbinghaus☆13Sep 19, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆30Jul 20, 2024Updated 2 years ago
- Category Theory in Programming☆14Jan 22, 2026Updated 9 months ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated 8 months ago
- My basic LaTeX macros and BibTeX file.☆14Jan 13, 2023Updated 3 years ago
- Simple shape editor component with React and SVG☆10Jul 2, 2019Updated 7 years ago
- Implementation of the Delta Language☆14Mar 18, 2024Updated 2 years ago
- Darwin is a static blog generator written in Racket - forked from Frog☆18Oct 26, 2020Updated 6 years ago
- A digital archive of category theory papers.☆37Jun 27, 2026Updated 4 months ago
- A profiler which samples the RTS callstack☆20Oct 15, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆28May 19, 2022Updated 4 years ago
- An implementation of a simple Neural network in Idris using category theory.☆25Sep 18, 2024Updated 2 years ago
- ☆14May 26, 2021Updated 5 years ago
- Tiny Digital Audio Workstation in a Swift Playground (WWDC 2020 winner)☆18Sep 19, 2024Updated 2 years ago
- glome raytracer☆13Apr 11, 2014Updated 12 years ago
- A collection of tools for the Nix daemon wire protocol☆14Oct 21, 2026Updated 2 weeks ago
- ☆12Oct 13, 2026Updated 3 weeks ago