trinkner / lapwing
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 4 years ago
Alternatives and similar repositories for lapwing:
Users that are interested in lapwing are comparing it to the libraries listed below
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- Automatically run experiments, upload results to google docs, analyze them using R, and include the analysis in LaTeX.☆18Updated 9 years ago
- Structured decompositions!☆12Updated 2 weeks ago
- A LaTeX package for proof carrying papers☆24Updated 8 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- ☆11Updated 8 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆28Updated 2 months ago
- Mirror of CSSR: An Algorithm for Building Markov Models from Time Series☆20Updated 5 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆14Updated 10 years ago
- Formal semantics of LLVM IR in K☆43Updated 9 years ago
- Polynomial semantics of linear logic☆13Updated 6 years ago
- Blue Brain Project nixpkgs configuration - Build a brain with Nix☆19Updated 2 years ago
- Superposition prover☆17Updated 2 years ago
- Graph Canonical Labeling and Automorphism Group Computation, R package for nauty and Traces☆12Updated 10 years ago
- https://code.google.com/p/graph-theory-algorithms-book/☆20Updated 9 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 6 years ago
- Theorem proving in Lean☆49Updated 3 months ago
- Change Point Analysis Tests☆11Updated 5 years ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- Bootstrap and Monte Carlo Hypothesis Testing with R☆15Updated 6 years ago
- scientific filesystem: a filesystem organization for scientific software and metadata☆32Updated last year
- An algebra for Matrix Expressions written in Maude☆24Updated 12 years ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- Physics Derivation Graph: mathematical connections among equations☆20Updated 8 months ago
- This project is a Python implementation of retrieving data from Bing maps API services (REST services) (https://msdn.microsoft.com/en-us/…☆12Updated 5 years ago
- Web-based reference manager, written in Haskell.☆29Updated 8 years ago
- lean-related presentations☆16Updated last year
- HTTP interface to Stan, a package for Bayesian inference.☆40Updated 2 weeks ago