Simple automated setup of PostGIS + OpenStreetMap data. More free time for your OSM community!
☆19Apr 19, 2016Updated 9 years ago
Alternatives and similar repositories for everything-is-osm
Users that are interested in everything-is-osm are comparing it to the libraries listed below
Sorting:
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- A public description of our private LumiGuide monorepo that can be used in talks and in mailing list discussions☆10Mar 26, 2017Updated 8 years ago
- ☆10Dec 9, 2015Updated 10 years ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- Small example of a Nix-built servant-server with a reflex-dom client.☆12Feb 5, 2018Updated 8 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- A mini but complete example of API construction with persistence plus authorisation features with servant framework.☆11Jan 14, 2016Updated 10 years ago
- ☆12Feb 12, 2025Updated last year
- HTTP proxy for authenticating users via OAuth2☆10Sep 6, 2019Updated 6 years ago
- Haskell Hoogle search in Visual Studio Code☆13Sep 9, 2018Updated 7 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- This repo is deprecated -> goto https://github.com/NixIPFS;☆12Jan 9, 2017Updated 9 years ago
- Simple Amazon IoT compatible client☆13Oct 24, 2019Updated 6 years ago
- PostgreSQL SQL syntax utilities☆16Feb 12, 2026Updated 3 weeks ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- Cloud Haskell Supervision Trees☆11Sep 3, 2024Updated last year
- Haskell graph library☆10Dec 18, 2017Updated 8 years ago
- An API that wraps webgl and opengl☆11Oct 22, 2017Updated 8 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated last month
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- Keyboard controller written in Ivory☆10Mar 3, 2017Updated 9 years ago
- ☆11May 7, 2023Updated 2 years ago
- Boring and Absurd types☆18Dec 27, 2024Updated last year
- UCI Datasets for Haskell☆11Mar 17, 2017Updated 8 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 6 months ago
- Fast pure Haskell implementation of the PostgreSQL wire protocol☆11May 19, 2020Updated 5 years ago
- Emacs client for Semantic Synchrony knowledge graphs☆12Jan 2, 2026Updated 2 months ago
- Generate easy-to-remember, hard-to-guess passwords☆14Mar 31, 2024Updated last year
- ☆12Jul 8, 2021Updated 4 years ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16May 13, 2025Updated 9 months ago
- A Haskell library implementing several Paxos-related algorithms☆25Dec 13, 2012Updated 13 years ago
- A typeclass and set of functions for working with newtypes.☆10May 19, 2022Updated 3 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago