mentat-collective / fdg-book
Executable version of Functional Differential Geometry.
☆34Updated 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
- Executable version of Structure and Interpretation of Classical Mechanics.☆36Updated 3 years ago
- The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations…☆94Updated 2 weeks ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated last year
- Exercises and notes on Structure and Interpretation of Classical Mechanics.☆67Updated 3 years ago
- A specialised computer algebra system for topos theory.☆18Updated 10 months ago
- Multi-pass compiler and runtime for probabilistic programming.☆43Updated last month
- examples for my book "A Lisp Programmer Living in Python-Land: The Hy Programming Language"☆41Updated last month
- High-performance symbolic, 2D and 3D visual extensions to the Emmy computer algebra system.☆47Updated 11 months ago
- ☆67Updated 3 years ago
- Emacs major mode for Dyalog APL☆15Updated 2 years ago
- Clojure -> Dyalog APL☆29Updated 3 years ago
- Clojure bindings for Scryer Prolog☆16Updated 2 months ago
- An interface between Clojure and Wolfram Language (the language of Mathematica)☆80Updated last week
- GNU APL native interop for Clojure☆29Updated 3 years ago
- ☆42Updated last year
- A tiny, self-contained, general-purpose quantum interpreter.☆48Updated last year
- The Emmy Computer Algebra System.☆425Updated 6 months ago
- An interface between Clojure and Mathematica☆113Updated 4 years ago
- A general-purpose probabilistic programming system with programmable inference.☆22Updated 2 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated last month
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- Leibniz - a Digital Scientific Notation☆34Updated 3 weeks ago
- Talks at the <Programming> 2022 Conference in Porto, Portugal☆11Updated 3 years ago
- the 7 gui project☆56Updated last year
- APL language server, implements Microsoft LSP for APL☆13Updated 5 years ago
- A REPL-friendly Clojure tool for notebooks and datavis☆165Updated this week
- The best experimental economics software built in Racket☆25Updated this week
- explorations in core.logic☆117Updated 10 months ago
- (in progress) Racket port of the SICM scmutils library☆35Updated 5 years ago
- A dataframe library for Scheme (R6RS)☆23Updated 11 months ago