Alternatives and similar repositories for lapwing

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

• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 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
• langston-barrett / reed-thesis
  My undergradate thesis on coinductive types in univalent type theory
  ☆17Updated 7 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆55Updated 3 weeks ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 7 years ago
• probcomp / cgpm
  Library of composable generative population models which serve as the modeling and inference backend of BayesDB.
  ☆25Updated last year
• byorgey / species
  ☆17Updated 4 months ago
• UniFormal / MMT
  The MMT Language and System
  ☆79Updated 5 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
  ☆31Updated 2 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 2 months ago
• Verites / verigraph
  Software specification and verification system based on graph rewriting
  ☆37Updated 3 years ago
• adamwespiser / deep-learning-koans
  A series of educational Deep Learning Koans, using Julia and Flux.jl
  ☆33Updated 6 years ago
• jules-hedges / awesome-applied-category-theory
  ACT community resources
  ☆24Updated 6 years ago
• uchicago-cs / plrg
  PL Reading Group Website
  ☆14Updated 3 weeks ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 11 years ago
• bamos / beamer-snippets
  Website for personal collection and previewing of Beamer and TikZ snippets. Presented with Python/Jinja2.
  ☆111Updated 10 years ago
• sagemath / publications
  Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage
  ☆25Updated 4 months ago
• tzwenn / MathGenealogy
  Downloading and displaying academic ancestry
  ☆16Updated 10 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 3 years ago
• jtoman / claims
  A LaTeX package for proof carrying papers
  ☆24Updated 9 years ago
• kb1dds / pysheaf
  Python Cellular Sheaf Library
  ☆149Updated 5 months ago
• opencog / language-learning
  OpenCog Unsupervised Language Learning
  ☆20Updated 6 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 8 years ago
• silky / super-reference
  Web-based reference manager, written in Haskell.
  ☆30Updated 9 years ago
• openworm / open-worm-analysis-toolbox
  A testing pipeline that allows us to run a behavioural phenotyping of our virtual worm running the same test statistics the Schafer Lab u…
  ☆48Updated 6 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆125Updated 3 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 5 years ago
• peterlefanulumsdaine / Oberwolfach-explorations
  collaboration on work in progress
  ☆15Updated 14 years ago
• sagemath / sagelib
  Git mirror of http://hg.sagemath.org/sage-main/
  ☆38Updated 13 years ago