Executable version of Functional Differential Geometry.
☆37May 4, 2022Updated 3 years ago
Alternatives and similar repositories for fdg-book
Users that are interested in fdg-book are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Executable version of Structure and Interpretation of Classical Mechanics.☆43Dec 1, 2021Updated 4 years ago
- CLJS wrapper around JSXGraph.☆24Jun 9, 2023Updated 2 years ago
- The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations…☆99Apr 19, 2025Updated 11 months ago
- A specialised computer algebra system for topos theory.☆18Jun 23, 2024Updated last year
- The Emmy Computer Algebra System.☆476Jul 10, 2025Updated 8 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Computer Algebra, Physics and Differential Geometry in Clojure.☆821Jun 18, 2025Updated 9 months ago
- Reagent interface to the Mafs interactive 2d math visualization library.☆15Jun 1, 2024Updated last year
- Talks at the <Programming> 2022 Conference in Porto, Portugal☆11Mar 30, 2022Updated 4 years ago
- An interface between Clojure and Wolfram Language (the language of Mathematica)☆109Oct 26, 2025Updated 5 months ago
- mirror of Fabrice Bellard's libbf tar releases, with fixes and CI☆16Aug 19, 2025Updated 7 months ago
- Visual programming for STEM students and instructors at university level.☆47Nov 14, 2025Updated 4 months ago
- A log dashboard tool powered by Clerk and Lucene☆33Feb 9, 2023Updated 3 years ago
- The source code translations from The Reasoned Schemer to Clojure core.logic☆14Sep 4, 2018Updated 7 years ago
- Functional Reinforcement Learning in Scala.☆27Apr 9, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A lightweight markup format to turn strings into maps in Clojure.☆18May 27, 2014Updated 11 years ago
- GNU APL native interop for Clojure☆29Mar 18, 2022Updated 4 years ago
- a principled blogging platform with modular data storage and parsing, starting on eth l1☆14Mar 12, 2026Updated 3 weeks ago
- Utilities for writing with Clerk.☆32Sep 28, 2023Updated 2 years ago
- Theorem Proving in Emacs☆12Aug 18, 2025Updated 7 months ago
- A general-purpose probabilistic programming system with programmable inference.☆23Feb 25, 2025Updated last year
- ☆14Mar 16, 2026Updated 3 weeks ago
- Simple hlisp project setup.☆41Feb 16, 2013Updated 13 years ago
- A clojure wrapper for webgpu-native☆14Dec 28, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Datalog based rules engine☆47Mar 13, 2022Updated 4 years ago
- Composable metric reporters in Python.☆14Jun 6, 2024Updated last year
- Write full featured CSS as Clojure data structures, inline☆19Sep 5, 2021Updated 4 years ago
- ☆19Nov 7, 2024Updated last year
- Content-addressable storage, implemented over pyfilesystem2.☆17Jun 17, 2020Updated 5 years ago
- Clojure interpreter that does not support alphanumerics.☆13Apr 1, 2015Updated 11 years ago
- Babashka script packaged as AWS Lambda☆38Feb 2, 2021Updated 5 years ago
- synchronous and asynchronous world sharing and change resolution☆10May 23, 2021Updated 4 years ago
- A minor mode to edit TikZ pictures with Emacs☆10May 26, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A computational model for insanely complex functions☆40May 13, 2012Updated 13 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18May 5, 2017Updated 8 years ago
- Emacs theme helper☆11Aug 25, 2022Updated 3 years ago
- A feature preprocessing system. Very tasty.☆11Apr 16, 2024Updated last year
- My emacs setup☆18Dec 22, 2025Updated 3 months ago
- PEG library for the Go language☆68Nov 14, 2016Updated 9 years ago
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆21Nov 8, 2021Updated 4 years ago