Giters
Vasiliy (vasiliyl)

vasiliyl

Geek Repo

11

followers

9

following

179

stars

Github PK Tool:Github PK Tool

Vasiliy's starred repositories

awesome-cpp

A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.

License:MITStargazers:57044Issues:2041Issues:574

cockroach

CockroachDB - the open source, cloud-native distributed SQL database.

Language:GoLicense:NOASSERTIONStargazers:29518Issues:694Issues:63489

timescaledb

An open-source time-series SQL database optimized for fast ingest and complex queries. Packaged as a PostgreSQL extension.

Language:CLicense:NOASSERTIONStargazers:16849Issues:310Issues:2781

syzkaller

syzkaller is an unsupervised coverage-guided kernel fuzzer

Language:GoLicense:Apache-2.0Stargazers:5209Issues:198Issues:941

f-stack

F-Stack is an user space network development kit with high performance based on DPDK, FreeBSD TCP/IP stack and coroutine API.

Language:CLicense:NOASSERTIONStargazers:3767Issues:274Issues:680

Simula

Linux VR Desktop

Language:HaskellLicense:MITStargazers:2907Issues:60Issues:166

dactyl-keyboard

Parameterized ergonomic keyboard

Language:OpenSCADLicense:AGPL-3.0Stargazers:2873Issues:148Issues:59

libcds

A C++ library of Concurrent Data Structures

Language:C++License:BSL-1.0Stargazers:2514Issues:156Issues:80

cquery

C/C++ language server supporting multi-million line code base, powered by libclang. Emacs, Vim, VSCode, and others with language server protocol support. Cross references, completion, diagnostics, semantic highlighting and more

Language:C++License:MITStargazers:2341Issues:90Issues:539

miso

:ramen: A tasty Haskell front-end framework

Language:HaskellLicense:BSD-3-ClauseStargazers:2162Issues:43Issues:325

dactyl-keyboard

Dactyl-ManuForm, a parameterized ergonomic keyboard

Language:ClojureLicense:AGPL-3.0Stargazers:1192Issues:52Issues:22

libdivide

Official git repository for libdivide: optimized integer division

Language:C++License:NOASSERTIONStargazers:1060Issues:39Issues:42

pmacct

pmacct is a small set of multi-purpose passive network monitoring tools [NetFlow IPFIX sFlow libpcap BGP BMP RPKI IGP Streaming Telemetry].

Language:CLicense:NOASSERTIONStargazers:1028Issues:63Issues:472

dyno

Runtime polymorphism done right

Language:C++License:BSL-1.0Stargazers:966Issues:58Issues:45

libuinet

a library version of FreeBSD's TCP/IP stack plus extras

Language:CStargazers:749Issues:118Issues:33

papers

A Git annex repository of papers

Stargazers:695Issues:60Issues:9

copilot

A stream-based runtime-verification framework for generating hard real-time C code.

Language:HaskellStargazers:618Issues:31Issues:367

easyLambda

distributed dataflows with functional list operations for data processing with C++14

Language:C++License:BSL-1.0Stargazers:494Issues:35Issues:10

lets-lens

Course material for lens

Language:HaskellLicense:NOASSERTIONStargazers:229Issues:18Issues:8

intero-neovim

A neovim plugin for Intero, forked from ghcmod-vim

Language:Vim scriptStargazers:217Issues:12Issues:110

ditto

A Super Kawaii Dependently Typed Programming Language

Language:HaskellLicense:GPL-3.0Stargazers:171Issues:15Issues:2

vim_current_word

Plugin highlighting word under cursor and all of its occurences

Language:Vim ScriptLicense:MITStargazers:143Issues:5Issues:16

idris-tparsec

TParsec - Total Parser Combinators in Idris

Language:IdrisLicense:GPL-3.0Stargazers:93Issues:8Issues:22

mutator

mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development

Language:C++License:GPL-3.0Stargazers:74Issues:6Issues:57

refscript

Refinement Types for Scripting Languages

Language:HaskellLicense:BSD-3-ClauseStargazers:64Issues:10Issues:77

pg-sql-variants

Variants types for PostgreSQL

Language:PLpgSQLStargazers:29Issues:3Issues:0

Join-Language

Haskell Join-calculus DSL

Language:HaskellLicense:NOASSERTIONStargazers:22Issues:3Issues:0

sel4-idris-manifest

Project to build Idris applications on seL4

Stargazers:4Issues:4Issues:0

clicklac

API server with Servant

Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:2Issues:0

SeL4_101

How to create a Hello World seL4 project from scratch

Language:CMakeLicense:GPL-3.0Stargazers:3Issues:1Issues:1