Create and manipulate a polygonal area on a Leaflet map
☆43May 2, 2023Updated 3 years ago
Alternatives and similar repositories for leaflet-area-selection
Users that are interested in leaflet-area-selection are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- vertical + gpu + free join + datalog☆22Feb 12, 2025Updated last year
- 🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list☆26Jan 11, 2023Updated 3 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 3 years ago
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆17Oct 30, 2020Updated 5 years ago
- Haskell charting library☆10Aug 21, 2021Updated 4 years ago
- A linter for Soufflé Datalog☆17Apr 1, 2024Updated 2 years ago
- Imagine a Dependently Typed Python☆10Apr 4, 2025Updated last year
- Deep-embedded combinators for strategic rewriting.☆15Nov 24, 2021Updated 4 years ago
- A vim plugin that helps you refactor Haskell code☆16Nov 1, 2018Updated 7 years ago
- ↔️ tight ghci integration for vim☆17Oct 21, 2022Updated 3 years ago
- Matching JSON nodes in Erlang☆27Dec 7, 2020Updated 5 years ago
- ☆15Dec 20, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Experimental MLIR based points-to analysis tool☆18Apr 29, 2026Updated 2 months ago
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated last year
- A parser combinator library inspired by Parsec.☆30Aug 4, 2015Updated 10 years ago
- Haskell library of row polymorphic record manipulator☆23Oct 19, 2020Updated 5 years ago
- elixir GPX parser☆17Jul 31, 2025Updated 11 months ago
- Maji is a framework to build great hybrid mobile apps.☆18Nov 13, 2019Updated 6 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆26Oct 22, 2023Updated 2 years ago
- An experiment in using DuckDB for a datalog / egg☆27Oct 11, 2023Updated 2 years ago
- Sources for Havlak Benchmark for several JVM Languages☆14Mar 23, 2014Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Encoding of GHC Core inside MLIR☆19Nov 12, 2020Updated 5 years ago
- Hash consing for arbitrary Haskell data types☆25Dec 4, 2024Updated last year
- PHP image optimizer for png, jpeg and gif files. It uses mozjpeg, pngquant and gifsicle for the optimization process☆16Jul 24, 2016Updated 9 years ago
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 years ago
- 🍀 mobile sorting puzzle game☆28Apr 5, 2026Updated 2 months ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆25Jun 19, 2019Updated 7 years ago
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 11 months ago
- ☆24Jun 22, 2026Updated last week
- A utility library for writing Erlang/Elixir ports in Rust☆25Oct 17, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Haskell port of the Nanopass Compiler Framework☆23Dec 23, 2025Updated 6 months ago
- Fixing static analysis violations in Java source code using Datalog☆17Sep 20, 2022Updated 3 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆11Jun 12, 2018Updated 8 years ago
- Crustacean: an unofficial iOS client for lobste.rs☆12Mar 24, 2025Updated last year
- ☆22Oct 4, 2016Updated 9 years ago
- Easy, Fast and Type-Safe Web Application Framework☆32Jan 22, 2026Updated 5 months ago
- Easy, flexible C unit testing☆11Feb 13, 2016Updated 10 years ago