Danila Matveev (optician)

optician

Geek Repo

Location:Yerevan, Armenia

Github PK Tool:Github PK Tool


Organizations
engineergarten

Danila Matveev's starred repositories

public-apis

A collective list of free APIs

Language:PythonLicense:MITStargazers:307345Issues:4168Issues:616

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

Language:ScalaLicense:AGPL-3.0Stargazers:61812Issues:373Issues:966

EasyOCR

Ready-to-use OCR with 80+ supported languages and all popular writing scripts including Latin, Chinese, Arabic, Devanagari, Cyrillic and etc.

Language:PythonLicense:Apache-2.0Stargazers:23046Issues:309Issues:972

typesense

Open Source alternative to Algolia + Pinecone and an Easier-to-Use alternative to ElasticSearch ⚡ 🔍 ✨ Fast, typo tolerant, in-memory fuzzy Search Engine for building delightful search experiences

Language:C++License:GPL-3.0Stargazers:19199Issues:120Issues:1380

scala3

The Scala 3 compiler, also known as Dotty.

Language:ScalaLicense:Apache-2.0Stargazers:5743Issues:210Issues:8527

aim

Aim 💫 — An easy-to-use & supercharged open-source experiment tracker.

Language:PythonLicense:Apache-2.0Stargazers:5035Issues:44Issues:1002

fselect

Find files with SQL-like queries

Language:RustLicense:Apache-2.0Stargazers:3942Issues:36Issues:117

sketch

AI code-writing assistant that understands data content

Language:PythonLicense:MITStargazers:2211Issues:18Issues:25

pureconfig

A boilerplate-free library for loading configuration files

Language:ScalaLicense:MPL-2.0Stargazers:1471Issues:24Issues:292

geotrellis

GeoTrellis is a geographic data processing engine for high performance applications.

Language:ScalaLicense:NOASSERTIONStargazers:1323Issues:106Issues:1304

maplibre-rs

Experimental Maps for Web, Mobile and Desktop

Language:RustLicense:Apache-2.0Stargazers:1300Issues:24Issues:104

ego-planner-swarm

An efficient single/multi-agent trajectory planner for multicopters.

Language:C++License:GPL-3.0Stargazers:1146Issues:18Issues:64

Idris2-boot

A dependently typed programming language, a successor to Idris

Language:IdrisLicense:NOASSERTIONStargazers:903Issues:61Issues:185

swarm

Resource gathering + programming game

Language:HaskellLicense:NOASSERTIONStargazers:829Issues:15Issues:735

gyroflow

[INACTIVE LEGACY VERSION, FIND THE PROJECT HERE: https://github.com/gyroflow/gyroflow] Video stabilization using IMU motion data from internal or external logs

Language:PythonLicense:GPL-3.0Stargazers:610Issues:43Issues:111

tofu

Functional programming toolbox

Language:ScalaLicense:Apache-2.0Stargazers:528Issues:24Issues:99

derevo

Multiple instance derivations inside a single macro annotation

Nearby-Shops-Android-app

Open Source food delivery and local shopping app !

Language:JavaLicense:GPL-3.0Stargazers:163Issues:13Issues:32

crnPlusPlus

Implementation of a first imperative molecular programming language (CRN++)

Language:MathematicaLicense:Apache-2.0Stargazers:75Issues:16Issues:1

coq-lecture-notes

Coq Lecture Notes (WIP)

Language:CoqStargazers:49Issues:12Issues:0

dot-iris

Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization

Language:HTMLLicense:NOASSERTIONStargazers:31Issues:5Issues:46

sbt-cached-ci

Incremental sbt builds for CI environments.

Language:ScalaStargazers:10Issues:4Issues:0

pitohui

Board of ideas, projects and a place to search collaboration

great-library-of-idris

A crowd-sourced list of papers using Idris

License:CC0-1.0Stargazers:6Issues:4Issues:0

klin

The tiny tool to easily open a JIRA issue

Language:KotlinLicense:MITStargazers:5Issues:2Issues:13

baboon

Stripped-down DML with schema evolution support

Language:ScalaLicense:MITStargazers:4Issues:4Issues:0

authz

A JWT library for scala 3

Language:ScalaLicense:MITStargazers:3Issues:1Issues:0
Language:ShellLicense:Apache-2.0Stargazers:1Issues:3Issues:0