planetmath / 03_Mathematical_logic_and_foundations

Related projects: ⓘ

• planetmath / 11_Number_theory
  ☆20Updated last year
• JohnCremona / eclib
  The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…
  ☆21Updated 3 months ago
• peterlefanulumsdaine / hott-limits
  A formalization of (homotopy) limits in Homotopy Type Theory
  ☆11Updated 9 years ago
• mew-cx / chaitin_lisp
  Runnable code from Chaitin's "The Limits of Mathematics (in C)"
  ☆14Updated 2 years ago
• bootstrapworld / wescheme
  wescheme
  ☆24Updated 3 months ago
• axch / adaptive-plot
  A library for intelligently plotting functions from the MIT Scheme REPL.
  ☆21Updated 11 years ago
• gheber / kenzo
  A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.
  ☆50Updated 4 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 7 years ago
• webyrd / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆35Updated 2 years ago
• gap-system / homebrew-gap
  Homebrew tap for GAP
  ☆14Updated 3 months ago
• dubrousky / mockmma
  ☆28Updated 6 years ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆41Updated this week
• xsources / Matlab-simulation-of-Schramm-Loewner-Evolution
  Description and analysis of some mathematical/physics phenomena by using simulation
  ☆17Updated 5 months ago
• Hexstream / common-lispers.hexstreamsoft.com
  Discover Common Lisp open-source contributors and their best contributions! Add yourself!
  ☆18Updated 2 months ago
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated 11 months ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆59Updated 5 years ago
• planetmath / 00_General
  ☆32Updated 6 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆36Updated 12 years ago
• stephenathel / gawxm
  Geometric Algebra using wxMaxima (GAwxM)
  ☆12Updated 4 months ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 8 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆64Updated last year
• fedeinthemix / chez-scmutils
  Port of the 'MIT Scmutils' library to Chez Scheme.
  ☆37Updated 3 weeks ago
• briangu / OPS5
  OPS5 Production System
  ☆53Updated 11 years ago
• affeldt-aist / infotheo
  A Coq formalization of information theory and linear error-correcting codes
  ☆64Updated last month
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 8 years ago
• ioannad / jeffrey
  Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.
  ☆26Updated 2 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆47Updated 2 years ago
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆30Updated 6 months ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆60Updated 8 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆33Updated 10 years ago