Danila Matveev's starred repositories
public-apis
A collective list of free APIs
awesome-selfhosted
A list of Free Software network services and web applications which can be hosted on your own servers
the-algorithm
Source code for Twitter's Recommendation Algorithm
pureconfig
A boilerplate-free library for loading configuration files
geotrellis
GeoTrellis is a geographic data processing engine for high performance applications.
maplibre-rs
Experimental Maps for Web, Mobile and Desktop
ego-planner-swarm
An efficient single/multi-agent trajectory planner for multicopters.
Idris2-boot
A dependently typed programming language, a successor to Idris
Nearby-Shops-Android-app
Open Source food delivery and local shopping app !
crnPlusPlus
Implementation of a first imperative molecular programming language (CRN++)
coq-lecture-notes
Coq Lecture Notes (WIP)
sbt-cached-ci
Incremental sbt builds for CI environments.
great-library-of-idris
A crowd-sourced list of papers using Idris