☆11Nov 7, 2025Updated 4 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 last month
- 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☆50Jun 18, 2024Updated last year
- Interval arithmetic for real computation☆25Feb 7, 2026Updated last month
- A verified tensor library in Lean☆37Oct 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 10 months ago
- A metalanguage for creating sophisticated DSLs in Racket.☆40Oct 14, 2025Updated 4 months ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆35Oct 8, 2024Updated last year
- The package manager for Cyclone Scheme.☆33Feb 14, 2024Updated 2 years ago
- TestStand Semiconductor Module Python API☆15May 7, 2025Updated 10 months ago
- ☆11Oct 25, 2024Updated last year
- 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 9 months ago
- LISP 1.5(-ish) implementation in WebAssembly☆49Apr 9, 2023Updated 2 years ago
- A data visualization library for Racket.☆38Nov 12, 2024Updated last year
- A Racket-based Forth / Macro Assembler on steroids for PIC18F☆41Jul 8, 2023Updated 2 years ago
- Fine-grained Haskell builds with Nix's dynamic derivations☆41May 22, 2025Updated 9 months ago
- The Complex Number Game. Make the complex numbers in Lean.☆42Nov 12, 2022Updated 3 years ago
- Stacking Machine Learning Models. Tunning; feature engineering, scaling, models combinations and parameters.☆11Oct 4, 2020Updated 5 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- Secure secret provisioning with Guix and SOPS☆48Updated this week
- Calculate allowed interactions in QED☆10Nov 2, 2022Updated 3 years ago
- ☆11Sep 26, 2014Updated 11 years ago
- Evolutionary Game Theory Simulator☆10Jun 8, 2018Updated 7 years ago
- A list of various articles that I find helpful for reading about deep learning, forecasting, or macroeconomics☆16May 8, 2018Updated 7 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Modeling and Analysis of Superconducting Quantum Circuits☆13Feb 22, 2021Updated 5 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- This is program of recursive descent parser using Python programming language.☆10Jan 26, 2021Updated 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
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- A 3d raytracing program (42 team project)☆10Apr 26, 2025Updated 10 months ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Material parsers and other tools, scripts Initially developed for Grobid Superconductor☆13Feb 21, 2025Updated last year