A specialised computer algebra system for topos theory.
☆18Jun 23, 2024Updated last year
Alternatives and similar repositories for locus
Users that are interested in locus are comparing it to the libraries listed below
Sorting:
- Talks at the <Programming> 2022 Conference in Porto, Portugal☆11Mar 30, 2022Updated 3 years ago
- Reagent interface to the Mafs interactive 2d math visualization library.☆15Jun 1, 2024Updated last year
- Executable version of Functional Differential Geometry.☆37May 4, 2022Updated 3 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- A general-purpose probabilistic programming system with programmable inference.☆23Feb 25, 2025Updated last year
- Tag-based webview of LaTeX documents☆32Jan 28, 2024Updated 2 years ago
- Store Terraform state for your GitHub Actions as an encrypted artifact or repository file.☆10Jul 12, 2024Updated last year
- A log dashboard tool powered by Clerk and Lucene☆33Feb 9, 2023Updated 3 years ago
- [EXPERIMENTAL] Blender scripting with ClojureScript. Live-coding Blender environment using modern cljs tools.☆31Mar 26, 2022Updated 3 years ago
- TestStand Semiconductor Module Python API☆15May 7, 2025Updated 9 months ago
- Mastodon server running for the Doubanius Tertius project☆10Apr 4, 2022Updated 3 years ago
- Template to effortlessly build math-rich websites☆40Jan 7, 2022Updated 4 years ago
- TLA+ tools for Emacs☆36Dec 14, 2024Updated last year
- Babashka script packaged as AWS Lambda☆38Feb 2, 2021Updated 5 years ago
- Evolutionary Game Theory Simulator☆10Jun 8, 2018Updated 7 years ago
- A PowerShell module for creating and removing Loopback Network Adapters on Windows using Device Conslole (DevCon.exe)☆15Feb 26, 2021Updated 5 years ago
- Material parsers and other tools, scripts Initially developed for Grobid Superconductor☆13Feb 21, 2025Updated last year
- Calculate allowed interactions in QED☆10Nov 2, 2022Updated 3 years ago
- prediction market indexer with semantic search☆35Jan 27, 2026Updated last month
- Stacking Machine Learning Models. Tunning; feature engineering, scaling, models combinations and parameters.☆11Oct 4, 2020Updated 5 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- ☆12Jan 4, 2023Updated 3 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
- "An Introduction to Time Series Analysis with R" is a text which is currently under development and aims at giving readers a general ove…☆10Oct 1, 2021Updated 4 years ago
- This is program of recursive descent parser using Python programming language.☆10Jan 26, 2021Updated 5 years ago
- An interface between Clojure and Wolfram Language (the language of Mathematica)☆108Oct 26, 2025Updated 4 months ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- CAS, Commutative Rings, Fraction Fields, Quotient Rings, Polynomial Rings, Galois Fields☆10Mar 24, 2025Updated 11 months ago
- Using the Stan statistical modelling language from Clojure using the CmdStan CLI☆11May 1, 2025Updated 10 months ago
- Lightweight throttle layer for alloy providers☆16Mar 10, 2025Updated 11 months ago
- Surface geometry plugin for Rhinoceros 3D☆10Aug 21, 2018Updated 7 years ago
- A Java Native Interface (JNI) library that permits Java applications to load and use Vamp audio analysis plugins.☆10Nov 16, 2016Updated 9 years ago
- Shove scopes and tokens into .npmrc☆11Aug 2, 2021Updated 4 years ago
- Compiles wisp expressions to Javascript in your Clojure project☆12Dec 30, 2018Updated 7 years ago
- Rich Hickey's C++ callback library using template functors.☆15Sep 16, 2021Updated 4 years ago
- Can we estimate the economic impact of EIP-1559 on miners? This repository try to estimate the loss of miners' revenue coming from transa…☆13Mar 15, 2021Updated 4 years ago
- 2 layer feed forward neural net Gem for ruby☆11Feb 10, 2016Updated 10 years ago
- A variable font for digital nostalgics☆16Sep 24, 2022Updated 3 years ago
- Dead Simple Distributed Computing for Clojure☆35Apr 24, 2013Updated 12 years ago