Alternatives and similar repositories for lapwing

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

• stites / CSSR
  Mirror of CSSR: An Algorithm for Building Markov Models from Time Series
  ☆22Updated 6 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆76Updated last month
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• mnielsen / cognitive_tools
  Rough in-progress notes on cognitive tools
  ☆30Updated 12 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 3 years 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 2 years ago
• probcomp / cgpm
  Library of composable generative population models which serve as the modeling and inference backend of BayesDB.
  ☆25Updated last year
• a-nikolaev / visualsc
  A simplicial complex and hypergraph visualization tool similar to Graphviz.
  ☆39Updated 6 years ago
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆21Updated 3 months ago
• HewlettPackard / LSGI
  Large-Scale Graph Inference
  ☆12Updated 11 months ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 3 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 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…
  ☆28Updated last week
• Quelklef / mathsproofbot
  Writing proofs to Twitter since April 2020
  ☆12Updated 3 years ago
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆158Updated 4 years ago
• pymc-devs / symbolic-pymc
  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
  ☆63Updated last year
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆32Updated last month
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 7 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated 2 weeks ago
• peterlefanulumsdaine / Oberwolfach-explorations
  collaboration on work in progress
  ☆15Updated 14 years ago
• stan-dev / stanc3
  The Stan transpiler (from Stan to C++ and beyond).
  ☆146Updated this week
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆68Updated last year
• numfocus / algorithm-ethics
  A collection of resources and tools designed to provide guidelines for ethical modeling.
  ☆72Updated 3 years ago
• bamos / beamer-snippets
  Website for personal collection and previewing of Beamer and TikZ snippets. Presented with Python/Jinja2.
  ☆110Updated 10 years ago
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆15Updated 6 years ago
• silky / awesome-open-science
  some links to projects/tools related to "open science".
  ☆151Updated 8 years ago
• Kappa-Dev / KappaTools
  Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
  ☆123Updated last week