mentat-collective / fdg-book

Related projects ⓘ

Alternatives and complementary repositories for fdg-book

• mentat-collective / sicm-book
  Executable version of Structure and Interpretation of Classical Mechanics.
  ☆29Updated 2 years ago
• mentat-collective / road-to-reality
  The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations…
  ☆90Updated last year
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated 7 months ago
• plai-group / daphne
  Multi-pass compiler and runtime for probabilistic programming.
  ☆38Updated last week
• locusmath / locus
  A specialised computer algebra system for topos theory.
  ☆17Updated 4 months ago
• mark-watson / hy-lisp-python
  examples for my book "A Lisp Programmer Living in Python-Land: The Hy Programming Language"
  ☆38Updated last month
• marcoheisig / petalisp-for-python
  Petalisp for Python - a replacement for Numpy.
  ☆13Updated 5 years ago
• LeifAndersen / interactive-syntax-clojure
  ☆42Updated 10 months ago
• namin / logically
  explorations in core.logic
  ☆115Updated 4 months ago
• eliben / paip-in-clojure
  Code from "Paradigms of Artificial Intelligence Programming" in Clojure
  ☆39Updated 6 months ago
• webyrd / will-writes-books
  ☆13Updated 8 months ago
• mentat-collective / emmy-viewers
  High-performance symbolic, 2D and 3D visual extensions to the Emmy computer algebra system.
  ☆42Updated 5 months ago
• harsman / dyalog-mode
  Emacs major mode for Dyalog APL
  ☆15Updated last year
• mentat-collective / sicm-scheme-exercises
  Exercises and notes on Structure and Interpretation of Classical Mechanics.
  ☆66Updated 2 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated 2 months ago
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 6 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆43Updated 8 months ago
• hinkelman / dataframe
  A dataframe library for Scheme (R6RS)
  ☆22Updated 5 months ago
• sritchie / programming-2022
  Talks at the <Programming> 2022 Conference in Porto, Portugal
  ☆11Updated 2 years ago
• NikolaySuslov / krestianstvo-electric
  Krestianstvo | Electric - Clojure. Implementing a scalable Croquet VM.
  ☆30Updated 5 months ago
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆120Updated 4 months ago
• alex-hhh / data-frame
  A data frame implementation for Racket
  ☆37Updated 6 months ago
• kovasb / combinator
  Experiments with fast term-rewriting in clojure
  ☆63Updated 9 years ago
• mthom / scryer-shen
  ☆42Updated this week
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 4 months ago
• webyrd / summer-scheming
  Summer Scheming!!!!!!
  ☆11Updated 4 years ago
• rmculpepper / gamble
  Probabilistic Programming
  ☆40Updated 10 months ago
• probcomp / Gen.clj
  A general-purpose probabilistic programming system with programmable inference.
  ☆17Updated 5 months ago
• OptimaSystems / apl-language-server
  APL language server, implements Microsoft LSP for APL
  ☆13Updated 5 years ago
• woodrush / sectorlisp-nn
  A neural network written in pure Lisp without built-in numbers
  ☆34Updated 2 years ago