frontid / ComunidadesProvinciasPoblacionesView external linksLinks
Listados en JSON de CCAA, provincias y poblaciones españolas
☆22Dec 31, 2019Updated 6 years ago
Alternatives and similar repositories for ComunidadesProvinciasPoblaciones
Users that are interested in ComunidadesProvinciasPoblaciones are comparing it to the libraries listed below
Sorting:
- Haskell bindings to llama.cpp☆12Dec 22, 2023Updated 2 years ago
- ☆11Jan 4, 2023Updated 3 years ago
- Encode any Aeson (JSON) value as YAML (in pure Haskell)☆12Nov 5, 2023Updated 2 years ago
- A modern dialect of the best programming language ever.☆10Oct 18, 2020Updated 5 years ago
- Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development☆11Jun 26, 2015Updated 10 years ago
- Frege code generator for Java classes☆17Sep 19, 2017Updated 8 years ago
- A library for fuzz testing TEA models by simulating user interactions☆14Dec 16, 2022Updated 3 years ago
- Statistical data visualization☆11Nov 26, 2016Updated 9 years ago
- Example of a base Haskell Servant web application☆13Feb 6, 2019Updated 7 years ago
- Multi-key-sequence framework for AwesomeWM with key hints display.☆14Jul 15, 2024Updated last year
- Engine to use Neo4J as the backend of your old school text adventure games.☆12May 31, 2016Updated 9 years ago
- Use Haskell (GHCJS) to develop Cordova mobile apps (note: has not been updated to modern GHCJS)☆17Jul 17, 2015Updated 10 years ago
- Plucky Runtime IO☆16Dec 20, 2024Updated last year
- A domain-specific language for testing programs using Behavior-Driven Development (BDD) process in Haskell☆19Dec 20, 2014Updated 11 years ago
- A simple build system for Idris☆22Mar 19, 2021Updated 4 years ago
- Handling errors which occur deep inside lens-chains☆17Jul 4, 2019Updated 6 years ago
- Well-typed paths☆20Dec 17, 2018Updated 7 years ago
- Ouroboros is a PureScript compiler written in PureScript.☆20Sep 24, 2024Updated last year
- Single Page Web Applications in Idris☆27Nov 22, 2025Updated 2 months ago
- Spacemacs layer for using a nix friendly haskell-ide-engine lsp☆16Feb 28, 2019Updated 6 years ago
- More open source 4/4 beats for the peoples☆24Jun 16, 2022Updated 3 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Sep 6, 2019Updated 6 years ago
- Free categories, free arrows and free categories with monadic actions☆24Mar 4, 2025Updated 11 months ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆23Mar 15, 2019Updated 6 years ago
- Vim syntax highlight and indent definition for coconut.☆19Oct 10, 2017Updated 8 years ago
- A module for writing Screeps programs with the Nim programming language!☆15Nov 8, 2016Updated 9 years ago
- Example showing how to build a statically-linked Haskell executable with Nix and attach it to a GitHub Release☆22Sep 30, 2024Updated last year
- github action for running hlint☆19Feb 23, 2019Updated 6 years ago
- Haskell install instructions for ZuriHac☆22Feb 26, 2020Updated 5 years ago
- Type-safe printf from parsing GHC TypeLits Symbol☆28Sep 12, 2024Updated last year
- 🔫 GitHub application to suggest hints☆26Nov 6, 2020Updated 5 years ago
- ☆23Oct 19, 2018Updated 7 years ago
- a http(s) client in idris☆29Dec 11, 2024Updated last year
- Malfunction backend for Idris with a FFI to OCaml☆28Aug 22, 2019Updated 6 years ago
- An experiment in functional interface design☆24Oct 29, 2016Updated 9 years ago
- On-demand provisioning tool for Hydra☆30Apr 25, 2019Updated 6 years ago
- (WIP) Elm app driving QT (QML) native binary!☆28Jan 22, 2026Updated 3 weeks ago
- Work with file paths in Gleam!☆32Apr 1, 2025Updated 10 months ago
- An implementation of Flatris using Haskell and Miso☆32Nov 14, 2019Updated 6 years ago