dubrousky / mockmma

Related projects ⓘ

Alternatives and complementary repositories for mockmma

• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated last year
• rewriting / tom
  ☆34Updated 4 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆33Updated 4 months ago
• stylewarning / computable-reals
  Arbitrary precision, automatic re-computing real numbers in Common Lisp.
  ☆31Updated 9 months ago
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆17Updated 8 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 6 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 7 months ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 10 years ago
• racket / algol60
  ☆12Updated 2 weeks ago
• ryukinix / lisp-inference
  An Inference Engine based on Propositional Calculus written in Common Lisp
  ☆40Updated 5 years ago
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆25Updated 6 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 4 years ago
• dharmatech / mpl
  Computer Algebra and Symbolic Computation for R6RS Scheme
  ☆62Updated last year
• arcfide / ChezWEB
  Hygienic Literate Programming for Chez Scheme
  ☆45Updated 6 years ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 10 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆24Updated 11 years ago
• fedeinthemix / chez-scmutils
  Port of the 'MIT Scmutils' library to Chez Scheme.
  ☆37Updated 2 months ago
• texmacs / notes
  Notes about TeXmacs
  ☆25Updated this week
• reduce-algebra / reduce-algebra
  reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…
  ☆36Updated this week
• Conservatory / s7
  s7 Scheme
  ☆54Updated 5 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• soegaard / racket-cas
  Simple computer algebra system
  ☆62Updated 2 months ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆49Updated 9 months ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆32Updated 6 months ago
• rain-1 / tarot-compiler
  ☆17Updated 5 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆28Updated last year
• VincentToups / jkmeans
  An implementation of the clustering algorithm k-means in J.
  ☆13Updated 9 years ago