Alternatives and similar repositories for srtm2postgis

Users that are interested in srtm2postgis are comparing it to the libraries listed below

• peterlefanulumsdaine / hott-limits

  View on GitHub
  A formalization of (homotopy) limits in Homotopy Type Theory
  ☆11Jan 11, 2015Updated 11 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus

  View on GitHub
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Jan 11, 2015Updated 11 years ago
• pulibrary / BlueMountain

  View on GitHub
  Project to digitize avant-garde periodicals
  ☆12May 13, 2022Updated 3 years ago
• coulbois / sage-train-track

  View on GitHub
  Free group automorphisms and train-track representative in python/sage
  ☆12Sep 18, 2025Updated 4 months ago
• bitonic / hakyll-agda

  View on GitHub
  Hakyll support for Agda literate files
  ☆19Jul 20, 2021Updated 4 years ago
• adelbertc / sabre

  View on GitHub
  In-memory distributed graph processing of trivially parallelizable graph algorithms.
  ☆22Apr 17, 2013Updated 12 years ago
• paf31 / purescript-foreign-lens

  View on GitHub
  A lens-compatible set of getters for purescript-foreign
  ☆10Apr 4, 2017Updated 8 years ago
• fjarri / clojure-scribble

  View on GitHub
  An implementation of Racket's Scribble in Clojure
  ☆22Sep 20, 2013Updated 12 years ago
• purescript-deprecated / purescript-symbols

  View on GitHub
  ☆12Oct 3, 2020Updated 5 years ago
• zilberstein / system-fc-coq

  View on GitHub
  ☆12May 9, 2015Updated 10 years ago
• Apress / beg-webgl-for-html5

  View on GitHub
  Source code for 'Beginning WebGL for HTML5' by Brian Danchilla
  ☆11Mar 28, 2017Updated 8 years ago
• spacekitteh / haskell-clifford

  View on GitHub
  Clifford algebra for Haskell! :D
  ☆14Jul 1, 2014Updated 11 years ago
• clarus / coq-blog

  View on GitHub
  A blog about Coq
  ☆11Mar 21, 2021Updated 4 years ago
• doumengyu / weibocrawler

  View on GitHub
  使用API和不使用API爬取新浪微博的用户信息
  ☆13May 5, 2013Updated 12 years ago
• puffnfresh / purescript-streams

  View on GitHub
  Compositional, streaming I/O library (unfinished)
  ☆13Sep 7, 2015Updated 10 years ago
• shoneslab / nodejs-winrm

  View on GitHub
  Make WinRM service calls from NodeJS
  ☆11Jan 4, 2023Updated 3 years ago
• ekmett / unique

  View on GitHub
  fast unique variables
  ☆10Aug 23, 2025Updated 5 months ago
• gendx / ocaml-algebra

  View on GitHub
  An algebra system written in OCaml
  ☆10Sep 20, 2015Updated 10 years ago
• mordae / racket-avl

  View on GitHub
  AVL Trees for Racket
  ☆12Jan 7, 2018Updated 8 years ago
• UACalc / uacalcsrc

  View on GitHub
  The Universal Algebra Calculator
  ☆16Jun 11, 2022Updated 3 years ago
• CategoricalData / catdb

  View on GitHub
  Category theory in Coq, by Jason Gross
  ☆16Jan 29, 2015Updated 11 years ago
• boyland / twelf-library

  View on GitHub
  Library classes for the Twelf Proof System
  ☆24Jun 16, 2020Updated 5 years ago
• acowley / LinearLogic

  View on GitHub
  A simple development of linear logic in Coq.
  ☆13Mar 22, 2025Updated 10 months ago
• ezyang / HoTT-coqex

  View on GitHub
  Coq solutions to exercises in HoTT book
  ☆12Jan 31, 2014Updated 12 years ago
• sordina / japl

  View on GitHub
  Font for turning J into APL
  ☆12Sep 30, 2018Updated 7 years ago
• Blaisorblade / Agda-playground

  View on GitHub
  My Agda experiments
  ☆12Sep 26, 2019Updated 6 years ago
• donSchoe / L.CanvasOverlay

  View on GitHub
  Leaflet Canvas Overlay is a straightforward full screen canvas overlay class that calls custom user function for gl drawing.
  ☆12Oct 4, 2016Updated 9 years ago
• asottile / personal-puppet

  View on GitHub
  serverless puppet to manage my machines
  ☆13Feb 2, 2026Updated last week
• domdere / fp-in-idris

  View on GitHub
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Mar 23, 2015Updated 10 years ago
• ustroetz / polygon2osm

  View on GitHub
  Converts a polygon filter to a GeoJSON
  ☆15Oct 29, 2018Updated 7 years ago
• foxgis / foxgis

  View on GitHub
  FoxGIS Frontend
  ☆12Jul 7, 2017Updated 8 years ago
• sdiehl / picologic

  View on GitHub
  Symbolic logic expressions
  ☆15Jul 1, 2020Updated 5 years ago
• dcode-youtube / extract-text-from-pdf-js

  View on GitHub
  Simple app that extracts text from PDF using pdf-parse and JavaScript. Taken from my YouTube video: https://youtu.be/enfZAaTRTKU
  ☆12May 21, 2023Updated 2 years ago
• purescript / purescript-identity

  View on GitHub
  Identity value
  ☆10Apr 27, 2022Updated 3 years ago
• purescript-contrib / purescript-these

  View on GitHub
  Data type isomorphic to α ∨ β ∨ (α ∧ β)
  ☆14Apr 27, 2022Updated 3 years ago
• ruby-rdf / rdf-raptor

  View on GitHub
  RDF.rb extension for parsing/serializing RDF/XML, Turtle and RDFa data using the Raptor RDF library.
  ☆27Sep 28, 2024Updated last year
• Ph0enixKM / Mousepad

  View on GitHub
  🐀 Move your mouse with your keyboard on linux
  ☆17May 14, 2021Updated 4 years ago
• snoyberg / vegito

  View on GitHub
  Some standalone stream fusion experiments
  ☆13Feb 28, 2016Updated 9 years ago
• kasbah / mooltipass.hid-app

  View on GitHub
  Chrome application to communicate with the Mooltipass.
  ☆11Jun 2, 2015Updated 10 years ago