punkdit / huygensView external linksLinks
☆11Nov 7, 2025Updated 3 months ago
Alternatives and similar repositories for huygens
Users that are interested in huygens are comparing it to the libraries listed below
Sorting:
- A toolkit for higher-dimensional diagram rewriting.☆18Sep 15, 2022Updated 3 years ago
- Category Theory in Programming☆13Jan 22, 2026Updated 3 weeks ago
- A database of small finite categories☆14Jan 10, 2024Updated 2 years ago
- A x86 carrier board for the LattePanda Mu☆32Aug 13, 2025Updated 6 months ago
- Mirror of ocaml-forester☆49Jun 18, 2024Updated last year
- Interval arithmetic for real computation☆25Feb 7, 2026Updated last week
- A verified tensor library in Lean☆35Oct 9, 2025Updated 4 months ago
- An implementation of a simple Neural network in Idris using category theory.☆24Sep 18, 2024Updated last year
- An encoding of Zermelo-Fraenkel Set Theory in Coq☆24Dec 17, 2022Updated 3 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Dec 5, 2020Updated 5 years ago
- Yet Another Starter Boilerplate for Common Lisp 🔥☆33Apr 22, 2025Updated 9 months ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆35Oct 8, 2024Updated last year
- A metalanguage for creating sophisticated DSLs in Racket.☆40Oct 14, 2025Updated 4 months ago
- The package manager for Cyclone Scheme.☆33Feb 14, 2024Updated 2 years ago
- ☆11Oct 25, 2024Updated last year
- TestStand Semiconductor Module Python API☆15May 7, 2025Updated 9 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Oct 5, 2020Updated 5 years ago
- A Racket library that lets you control Firefox via the Marionette Protocol.☆79May 29, 2025Updated 8 months ago
- Fine-grained Haskell builds with Nix's dynamic derivations☆40May 22, 2025Updated 8 months ago
- A data visualization library for Racket.☆38Nov 12, 2024Updated last year
- LISP 1.5(-ish) implementation in WebAssembly☆49Apr 9, 2023Updated 2 years ago
- A Racket-based Forth / Macro Assembler on steroids for PIC18F☆40Jul 8, 2023Updated 2 years ago
- The Complex Number Game. Make the complex numbers in Lean.☆42Nov 12, 2022Updated 3 years ago
- Secure secret provisioning with Guix and SOPS☆47Feb 8, 2026Updated last week
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- A high-performance library for computing Lorentzian spin foam amplitudes.☆10Aug 28, 2025Updated 5 months ago
- Thermodynamics powered by Machine Learning☆11May 7, 2021Updated 4 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- This is program of recursive descent parser using Python programming language.☆10Jan 26, 2021Updated 5 years ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆55Dec 10, 2025Updated 2 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Evolutionary Game Theory Simulator☆10Jun 8, 2018Updated 7 years ago
- Calculate allowed interactions in QED☆10Nov 2, 2022Updated 3 years ago
- Stacking Machine Learning Models. Tunning; feature engineering, scaling, models combinations and parameters.☆10Oct 4, 2020Updated 5 years ago
- This place provide different SRAM cells netlist to be simulated with HSpice tool in sub-20nm FinFET technologies.☆12Dec 31, 2020Updated 5 years ago
- A PowerShell module for creating and removing Loopback Network Adapters on Windows using Device Conslole (DevCon.exe)☆15Feb 26, 2021Updated 4 years ago
- A 3d raytracing program (42 team project)☆10Apr 26, 2025Updated 9 months ago