Alternatives and similar repositories for 03_Mathematical_logic_and_foundations:

Users that are interested in 03_Mathematical_logic_and_foundations are comparing it to the libraries listed below

• planetmath / 11_Number_theory
  ☆21Updated last year
• planetmath / 00_General
  ☆33Updated 6 years ago
• fogus / skiing
  a clojure combinator zoo
  ☆42Updated 2 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated 11 months ago
• Sophia-Gold / power-series
  stream processing library for formal power series and generating functions
  ☆9Updated 4 years ago
• xsources / Matlab-simulation-of-Schramm-Loewner-Evolution
  Description and analysis of some mathematical/physics phenomena by using simulation
  ☆18Updated 10 months ago
• gasc / Clojuratica
  An interface between Clojure and Mathematica
  ☆112Updated 4 years ago
• clojure / tools.analyzer.js
  Provides js-specific passes for tools.analyzer
  ☆21Updated 7 months ago
• jduey / protocol-monads
  A protocol based monad implementation for clojure
  ☆62Updated 10 years ago
• hugoduncan / muir
  A Clojure AST transformation library
  ☆39Updated 12 years ago
• pkrumins / the-reasoned-schemer
  All the logic programming code examples from the book "The Reasoned Schemer"
  ☆51Updated 14 years ago
• Sophia-Gold / madhava
  automatic differentiation/integration of PDEs
  ☆23Updated 6 years ago
• darkleaf / multidecorators
  Like multimethods but multidecorators.
  ☆11Updated 5 years ago
• webyrd / summer-scheming
  Summer Scheming!!!!!!
  ☆11Updated 4 years ago
• dgrnbrg / piplin
  Compile Clojure to FPGAs
  ☆93Updated 10 years ago
• SICPDistilled / website
  ☆43Updated 4 years ago
• dubrousky / mockmma
  ☆28Updated 7 years ago
• aaroncummings / strange-loop-2019
  Uptime 15,364 days - The Computers of Voyager
  ☆44Updated 5 years ago
• cursive-ide / intellij-leiningen-plugin
  A plugin for JetBrains' IntelliJ IDE supporting the Leiningen build system.
  ☆19Updated 11 years ago
• namin / logically
  explorations in core.logic
  ☆117Updated 8 months ago
• kovasb / combinator
  Experiments with fast term-rewriting in clojure
  ☆63Updated 9 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆15Updated 4 months ago
• divs1210 / cljos
  Pronounced: chaos
  ☆18Updated 5 years ago
• replikativ / durable-persistence
  Explorations in durable persistent datastructures for Clojure.
  ☆23Updated 7 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 5 years ago
• guicho271828 / ArriVAL
  Yet Another Classical planning plan validator written in modern Common Lisp
  ☆11Updated 3 years ago
• danhammer / game-theory
  Game theory in Clojure
  ☆18Updated 12 years ago
• Sophia-Gold / symbolic-algebra
  a numerical computing library for Clojure
  ☆22Updated 7 years ago
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆32Updated 8 years ago
• RauliL / plorth-webassembly
  WebAssembly version of Plorth programming language
  ☆16Updated 7 years ago