Alternatives and similar repositories for lapwing

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

• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• stites / CSSR
  Mirror of CSSR: An Algorithm for Building Markov Models from Time Series
  ☆21Updated 5 years ago
• sagemath / sagelib
  Git mirror of http://hg.sagemath.org/sage-main/
  ☆38Updated 13 years ago
• probcomp / cgpm
  Library of composable generative population models which serve as the modeling and inference backend of BayesDB.
  ☆25Updated last year
• DracoBlue / markdown-papers
  Use a specific markdown file to write proper formatted papers and articles.
  ☆21Updated 13 years ago
• jtoman / claims
  A LaTeX package for proof carrying papers
  ☆24Updated 8 years ago
• iblech / mathezirkel-kurs
  Worksheets and lecture notes for my math courses for school students (in German)
  ☆10Updated 3 months ago
• geohot / coq-hardy
  Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq
  ☆54Updated 6 years ago
• ndcroos / awesome-topological-data-analysis
  A collection of topological data analysis links, frameworks, libraries and software. Inspired by awesome projects line.
  ☆19Updated last year
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 7 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆39Updated 9 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• pymc-devs / symbolic-pymc
  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
  ☆63Updated last year
• HewlettPackard / LSGI
  Large-Scale Graph Inference
  ☆12Updated 10 months ago
• kevinconway / pycc
  Python code optimizer.
  ☆20Updated 10 years ago
• 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…
  ☆24Updated last week
• dpiponi / Legendre
  Some notes on the relationship between the Legendre and Fourier transforms
  ☆11Updated 4 years ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆61Updated 2 years ago
• jiffyclub / html-css-resume-template
  A resume template based on HTML5 and CSS
  ☆68Updated 7 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 6 months ago
• mjbommar / cscs-530-w2016
  Complex Systems 530 - Computer Modeling of Complex Systems (Winter 2016)
  ☆15Updated 9 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆67Updated last year
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆30Updated this week
• heathermiller / cv
  My CV
  ☆13Updated 2 months ago
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 5 years ago
• erikrose / mediawiki-parser
  An experimental Python parser for MediaWiki syntax with a focus on extensibility and comprehensibility
  ☆66Updated 6 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• langston-barrett / reed-thesis
  My undergradate thesis on coinductive types in univalent type theory
  ☆17Updated 7 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago