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
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆28Updated 4 months ago
- An LR parser generator, implemented as a proc macro☆16Updated last year
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year
- Automatically run experiments, upload results to google docs, analyze them using R, and include the analysis in LaTeX.☆18Updated 10 years ago
- Structured decompositions!☆12Updated last week
- HTTP interface to Stan, a package for Bayesian inference.☆40Updated last month
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- A LaTeX package for proof carrying papers☆24Updated 8 years ago
- Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait int…☆11Updated 7 months ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- stream processing library for formal power series and generating functions☆9Updated 4 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- Library of composable generative population models which serve as the modeling and inference backend of BayesDB.☆25Updated 8 months ago
- An LLVM interface for Lean 4. (WIP)☆20Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Fast Hilbert space-filling curve transformation using a LUT☆41Updated 2 years ago
- PLT Redex models of LVar calculi☆10Updated 9 years ago
- A Parallel Haskell framework for particle-based Monte Carlo simulations☆13Updated 6 years ago
- Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/)☆23Updated last year
- egraph <-> json☆13Updated 6 months ago
- My PhD thesis, titled "Reasonably Programmable Syntax"☆15Updated 6 years ago
- Mirror of CSSR: An Algorithm for Building Markov Models from Time Series☆21Updated 5 years ago
- collaboration on work in progress☆15Updated 14 years ago
- Formalization of Wigderson's graph coloring algorithm in Coq☆9Updated last year
- ☆11Updated this week
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- A parser for ANSI C, in Lean4.☆20Updated last year
- deep learning for math☆29Updated 5 years ago