trinkner / lapwingLinks
Lapwing is program to help birders analyze their personal eBird sightings. It has a graphical user interface that lets users create filtered species lists, checklists lists, location lists, time totals, regional totals, "big" reports and maps. Lapwing is written in Python and is free and open-source.
☆12Updated 5 years ago
Alternatives and similar repositories for lapwing
Users that are interested in lapwing are comparing it to the libraries listed below
Sorting:
- A system for computational category theory and applications☆40Updated 9 years ago
- A LaTeX package for proof carrying papers☆24Updated 9 years ago
- ACT community resources☆23Updated 6 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17Updated 7 years ago
- Sheaves library for graph abstractions based on NetworkX☆14Updated 6 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Updated 2 weeks ago
- 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 month
- P.D. Magnus' forallx logic textbook☆69Updated 9 months ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆124Updated 3 years ago
- Python term rewriting☆30Updated 12 years ago
- Superposition prover☆17Updated 2 years ago
- Lean Tutorials☆46Updated 5 years ago
- Python Cellular Sheaf Library☆147Updated 4 months ago
- MathWebSearch Implementation☆48Updated 3 years ago
- A simplicial complex and hypergraph visualization tool similar to Graphviz.☆39Updated 6 years ago
- Library of composable generative population models which serve as the modeling and inference backend of BayesDB.☆25Updated last year
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago
- Jupyter kernel for Coq☆95Updated last year
- Pedagogical first-order prover in Python☆78Updated 6 months ago
- Theorem proving in Lean☆49Updated last year
- Operad Programming Language in Haskell, by David Darais☆33Updated 11 years ago
- A toolkit for higher-dimensional diagram rewriting.☆18Updated 3 years ago
- a datastructure for scalable combinatorial syntax☆19Updated 10 months ago
- "A First Course in Linear Algebra" open source textbook☆69Updated last month
- My CV☆13Updated 6 months ago
- Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq☆54Updated 6 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 8 years ago
- OpenCog Unsupervised Language Learning☆20Updated 6 years ago
- ☆12Updated 5 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago