mentat-collective / fdg-book
Executable version of Functional Differential Geometry.
☆30Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for fdg-book
- Executable version of Structure and Interpretation of Classical Mechanics.☆29Updated 2 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated 8 months ago
- Multi-pass compiler and runtime for probabilistic programming.☆39Updated 2 weeks ago
- The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations…☆90Updated last year
- examples for my book "A Lisp Programmer Living in Python-Land: The Hy Programming Language"☆38Updated last month
- Exercises and notes on Structure and Interpretation of Classical Mechanics.☆66Updated 2 years ago
- High-performance symbolic, 2D and 3D visual extensions to the Emmy computer algebra system.☆43Updated 5 months ago
- A specialised computer algebra system for topos theory.☆17Updated 4 months ago
- ☆42Updated 10 months ago
- Leibniz - a Digital Scientific Notation☆34Updated 3 months ago
- An interface between Clojure and Wolfram Language (the language of Mathematica)☆56Updated this week
- Emacs major mode for Dyalog APL☆15Updated last year
- ☆13Updated 9 months ago
- explorations in core.logic☆115Updated 5 months ago
- ☆64Updated 2 years ago
- A collection of Kanren implementations in Julia☆24Updated 8 years ago
- Talks at the <Programming> 2022 Conference in Porto, Portugal☆11Updated 2 years ago
- Clojure -> Dyalog APL☆28Updated 2 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 5 years ago
- A general-purpose probabilistic programming system with programmable inference.☆18Updated 5 months ago
- A data frame implementation for Racket☆37Updated 6 months ago
- (in progress) Racket port of the SICM scmutils library☆33Updated 4 years ago
- A dataframe library for Scheme (R6RS)☆22Updated 5 months ago
- ☆24Updated last year
- ☆36Updated 3 years ago
- Interactive Scheme Primer, written in Scheme.☆22Updated last month
- debugging biological networks to reach coherence, completeness and consistency☆43Updated 9 months ago
- Experiments with fast term-rewriting in clojure☆63Updated 9 years ago
- Probabilistic miniKanren☆62Updated 9 years ago
- ClojureScript in Pluto.jl Notebooks!☆12Updated 3 years ago