nvquanghuy / texpaste

Related projects ⓘ

Alternatives and complementary repositories for texpaste

• b-mehta / combinatorics
  ☆21Updated 2 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆47Updated 2 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 7 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 7 years ago
• cchalmers / pcg-random
  Haskell interface to the pcg random number generator
  ☆41Updated 9 months ago
• sympy / sympy-paper
  Repo for the paper "SymPy: symbolic computing in python"
  ☆47Updated 4 years ago
• sympy / sympy_benchmarks
  Some benchmarks of SymPy
  ☆13Updated last week
• smichr / sympy
  SymPy main development repo
  ☆9Updated last month
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆106Updated 3 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 7 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• Trepan-Debuggers / python2-trepan
  A gdb-like Python 2.x Debugger in the Trepan family
  ☆87Updated 3 months ago
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆96Updated 2 weeks ago
• mohd-akram / compilers
  A list of compilers with some metadata.
  ☆12Updated 5 months ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆33Updated 8 years ago
• domitry / matascii
  ASCII back-end for matplotlib
  ☆21Updated 8 years ago
• mvitousek / reticulated
  Types for Python
  ☆86Updated 6 years ago
• borntyping / python-infix
  An experiment to use infix operators in Python
  ☆56Updated 5 years ago
• leanprover / tc
  Reference type checker for the Lean theorem prover
  ☆61Updated 7 years ago
• joom / latex-unicoder.vim
  A plugin to type Unicode chars in Vim, using their LaTeX names.
  ☆90Updated 5 months ago
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 8 years ago
• philzook58 / knuckledragger
  Semi-Automated Python Proof Assistant
  ☆54Updated last week
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆27Updated 10 years ago
• peberlein / c_lambda_calculus
  Lambda calculus with Church encoding in C
  ☆29Updated 6 years ago
• eliben / asdl_parser
  Standalone ASDL parser for upstream CPython 3.x
  ☆61Updated 6 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆75Updated 4 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆39Updated last year
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 3 years ago
• VincentToups / jkmeans
  An implementation of the clustering algorithm k-means in J.
  ☆13Updated 9 years ago
• ddfisher / HaPy
  Haskell bindings for Python
  ☆101Updated 3 years ago