Giters
A.V. (slckl)

slckl

Geek Repo

14

followers

11

following

268

stars

Location:Latvia

Github PK Tool:Github PK Tool

Organizations
merveilles

A.V.'s starred repositories

godot

Godot Engine – Multi-platform 2D and 3D game engine

Language:C++License:MITStargazers:86565Issues:1518Issues:50813

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Language:PythonLicense:NOASSERTIONStargazers:80226Issues:1732Issues:43056

openpilot

openpilot is an open source driver assistance system. openpilot performs the functions of Automated Lane Centering and Adaptive Cruise Control for 250+ supported car makes and models.

Language:PythonLicense:MITStargazers:48665Issues:1301Issues:2742

julia

The Julia Programming Language

Language:JuliaLicense:MITStargazers:44989Issues:929Issues:24984

mpv

🎥 Command line video player

Language:CLicense:NOASSERTIONStargazers:26753Issues:502Issues:9843

Signal-Android

A private messenger for Android.

Language:JavaLicense:AGPL-3.0Stargazers:25158Issues:898Issues:10727

actix-web

Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.

Language:RustLicense:Apache-2.0Stargazers:20743Issues:229Issues:1562

xi-editor

A modern editor with a backend written in Rust.

Language:RustLicense:Apache-2.0Stargazers:19819Issues:401Issues:532

kaldi

kaldi-asr/kaldi is the official location of the Kaldi project.

Language:ShellLicense:NOASSERTIONStargazers:13928Issues:698Issues:1636

libsodium

A modern, portable, easy to use crypto library.

Language:CLicense:NOASSERTIONStargazers:12058Issues:387Issues:813

tantivy

Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust

Language:RustLicense:MITStargazers:11334Issues:141Issues:979

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:9965Issues:180Issues:5426

Cello

Higher level programming in C

Language:CLicense:NOASSERTIONStargazers:6257Issues:239Issues:89

seL4

The seL4 microkernel

Language:CLicense:NOASSERTIONStargazers:4609Issues:204Issues:410

lucene-solr

Apache Lucene and Solr open-source search software

License:Apache-2.0Stargazers:4366Issues:303Issues:0

snips-nlu

Snips Python library to extract meaning from text

Language:PythonLicense:Apache-2.0Stargazers:3877Issues:133Issues:263

HIP

HIP: C++ Heterogeneous-Compute Interface for Portability

Language:C++License:MITStargazers:3556Issues:142Issues:848

irssi

The client of the future

Language:CLicense:NOASSERTIONStargazers:2827Issues:106Issues:628

logos

Create ridiculously fast Lexers

Language:RustLicense:Apache-2.0Stargazers:2712Issues:18Issues:241

mpc

A Parser Combinator library for C

Language:CLicense:NOASSERTIONStargazers:2622Issues:78Issues:108

kenlm

KenLM: Faster and Smaller Language Model Queries

Language:C++License:NOASSERTIONStargazers:2443Issues:69Issues:365

ktx

Kotlin extensions for the libGDX game framework

Language:KotlinLicense:CC0-1.0Stargazers:1332Issues:30Issues:299

xi-term

A terminal frontend for Xi

Language:RustLicense:MITStargazers:487Issues:17Issues:43

tranX

A general-purpose neural semantic parser for mapping natural language queries into machine executable code

Language:PythonLicense:Apache-2.0Stargazers:459Issues:11Issues:32

smack

SMACK Software Verifier and Verification Toolchain

Language:CLicense:NOASSERTIONStargazers:428Issues:24Issues:452

julia-intellij

:computer: Julia Plugin for IntelliJ IDEA ┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛

Language:KotlinLicense:GPL-3.0Stargazers:294Issues:10Issues:1732