A specialised computer algebra system for topos theory.
☆18Jun 23, 2024Updated 2 years ago
Alternatives and similar repositories for locus
Users that are interested in locus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Reagent interface to the Mafs interactive 2d math visualization library.☆15Jun 1, 2024Updated 2 years ago
- Talks at the <Programming> 2022 Conference in Porto, Portugal☆12Mar 30, 2022Updated 4 years ago
- Executable version of Functional Differential Geometry.☆37May 4, 2022Updated 4 years ago
- Sheaves library for graph abstractions based on NetworkX☆14May 5, 2019Updated 7 years ago
- Small wrapper library making it easier to use Pulumi via ClojureScript☆36Aug 15, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆67Jul 17, 2026Updated 3 months ago
- Base code for writing blender addons in clojure☆12Jun 23, 2020Updated 6 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆36Nov 30, 2022Updated 3 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆32Oct 19, 2022Updated 4 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- A Crèche Course in Model Theory. Lecture notes for an introductory (under)graduate couse in model theory☆11Updated this week
- A general-purpose probabilistic programming system with programmable inference.☆24Feb 25, 2025Updated last year
- Wrap Python from Clojure via Hy using libpython-clj (JNA)☆11Dec 8, 2022Updated 3 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.
- VecMap<K, V>: The Map API for Vec<(K, V)> (Rust)☆14May 18, 2026Updated 5 months ago
- Utilities for writing with Clerk.☆32Sep 28, 2023Updated 3 years ago
- Babashka script packaged as AWS Lambda☆38Feb 2, 2021Updated 5 years ago
- Immutable/persistent functional data-structures which can transparently spill to disk.☆13Sep 13, 2012Updated 14 years ago
- A ClojureScript wrapper library for TensorFlow.js☆10Oct 7, 2018Updated 8 years ago
- Composable metric reporters in Python.☆14Jun 6, 2024Updated 2 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Quint-connect for Typescript☆13Aug 26, 2026Updated 2 months ago
- Kryo Integration for Cascading.☆14Jan 23, 2013Updated 13 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- [EXPERIMENTAL] Blender scripting with ClojureScript. Live-coding Blender environment using modern cljs tools.☆31Mar 26, 2022Updated 4 years ago
- ☆13Jan 4, 2023Updated 3 years ago
- A log dashboard tool powered by Clerk and Lucene☆33Feb 9, 2023Updated 3 years ago
- Datalog based rules engine☆47Mar 13, 2022Updated 4 years ago
- Tag-based webview of LaTeX documents☆35May 28, 2026Updated 5 months ago
- Node.js RPC with MessagePack serialization☆11Jun 29, 2010Updated 16 years ago
- Content-addressable storage, implemented over pyfilesystem2.☆17Jun 17, 2020Updated 6 years ago
- Experiment with synthetic domain theory in cubical agda☆16Nov 8, 2022Updated 3 years ago
- Dockerfiles for MIT-Scheme and Mechanics.☆13Jan 12, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆10Mar 26, 2026Updated 7 months ago
- KondoLisp is a framework for dynamic prototying on Arduino☆11Oct 19, 2011Updated 15 years ago
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 5 years ago
- functional programming language 2☆10Jul 18, 2013Updated 13 years ago
- A collection of dotfiles that code for my computational environment, built around emacs with exwm. Designed with FreeBSD and Arch Linux i…☆12Oct 10, 2021Updated 5 years ago
- Template for a (PhD) thesis☆13Nov 5, 2025Updated 11 months ago
- An interface between Clojure and Wolfram Language (the language of Mathematica)☆110Jul 24, 2026Updated 3 months ago