Ivan Nikitin (Apolexian)

Apolexian

Geek Repo

Location:Glasgow

Github PK Tool:Github PK Tool


Organizations
CoLab-Glasgow
glasgow-ipl

Ivan Nikitin's starred repositories

mermaid

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

Language:TypeScriptLicense:MITStargazers:72108Issues:639Issues:3004

syncthing

Open Source Continuous File Synchronization

Language:GoLicense:MPL-2.0Stargazers:65361Issues:1023Issues:5509

LunarVim

🌙 LunarVim is an IDE layer for Neovim. Completely free and community driven.

Language:LuaLicense:GPL-3.0Stargazers:18377Issues:126Issues:2417

Amethyst

Automatic tiling window manager for macOS à la xmonad.

Language:SwiftLicense:MITStargazers:14810Issues:109Issues:1076

min-sized-rust

🦀 How to minimize Rust binary size 📦

Language:RustLicense:MITStargazers:8242Issues:106Issues:36

patterns

A catalogue of Rust design patterns, anti-patterns and idioms

Language:HandlebarsLicense:MPL-2.0Stargazers:8118Issues:194Issues:133

hotspot

The Linux perf GUI for performance analysis.

coz

Coz: Causal Profiling

Language:CLicense:NOASSERTIONStargazers:4099Issues:71Issues:143

smol

A small and fast async runtime for Rust

Language:RustLicense:Apache-2.0Stargazers:3738Issues:71Issues:129

parking_lot

Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.

Language:RustLicense:Apache-2.0Stargazers:2747Issues:31Issues:212

mutt-wizard

A system for automatically configuring mutt and isync with a simple interface and safe passwords

Language:ShellLicense:GPL-3.0Stargazers:2407Issues:51Issues:590

zap

blazingly fast backends in zig

libpnet

Cross-platform, low level networking using the Rust programming language.

Language:RustLicense:Apache-2.0Stargazers:2295Issues:30Issues:242

ntex

framework for composable networking services

Language:RustLicense:Apache-2.0Stargazers:2035Issues:37Issues:118

s2n-quic

An implementation of the IETF QUIC protocol

Language:RustLicense:Apache-2.0Stargazers:1161Issues:24Issues:500

async-channel

Async multi-producer multi-consumer channel

Language:RustLicense:Apache-2.0Stargazers:780Issues:11Issues:46
Language:C++License:BSD-3-ClauseStargazers:643Issues:21Issues:54

picoquic

Minimal implementation of the QUIC protocol

smartstring

Compact inlined strings for Rust.

Language:RustLicense:MPL-2.0Stargazers:504Issues:7Issues:34

jemallocator

Rust allocator using jemalloc as a backend

Language:RustLicense:NOASSERTIONStargazers:358Issues:9Issues:57

ringbuf

Lock-free SPSC FIFO ring buffer with direct access to inner data

Language:RustLicense:Apache-2.0Stargazers:310Issues:6Issues:21
Language:C++License:GPL-3.0Stargazers:118Issues:41Issues:10

rumpsteak

:meat_on_bone: Session types for asynchronous communication between multiple parties.

Language:RustLicense:MITStargazers:39Issues:5Issues:2

mpst_rust_github

A library for deadlock-free multiparty session-typed communication in Rust.

Language:RustLicense:Apache-2.0Stargazers:25Issues:5Issues:41

mpstk

Multiparty Session Types toolKit

Language:ScalaLicense:MITStargazers:15Issues:2Issues:0

ips-protodesc-code

Code for parsing out augmented packet header diagrams from IETF documents

Language:PythonLicense:NOASSERTIONStargazers:15Issues:6Issues:6

scribble-language-guide

The Scribble language guide.

License:Apache-2.0Stargazers:13Issues:4Issues:0

funny_trees

COMPSCI4021 coursework for 2020 U. Glasgow Haskell class

Language:HaskellStargazers:3Issues:1Issues:0

ietf115-hackathon

sodestream materials for the IETF 115 Hackathon

Language:Jupyter NotebookStargazers:1Issues:8Issues:0