petrkozorezov

petrkozorezov's Stars

• papers-we-love/papers-we-love

  Papers from the computer science community to read and discuss.

  Language:Shell87.2k3.1k2385.7k

• resume/resume.github.com

  Resumes generated using the GitHub informations

  Language:JavaScript61.9k3431191.4k

• vxunderground/MalwareSourceCode

  Collection of malware source code for a variety of platforms in an array of different programming languages.

  Language:Assembly15.6k732631.7k

• cachix/devenv

  Fast, Declarative, Reproducible, and Composable Developer Environments

  Language:Nix4.1k26721311

• wnzhang/rtb-papers

  A collection of research and survey papers of real-time bidding (RTB) based display advertising techniques.

  3.5k4798923

• happi/theBeamBook

  A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.

  Language:Erlang3.1k16248218

• alpaca-lang/alpaca

  Functional programming inspired by ML for the Erlang VM

  Language:Erlang1.4k6011046

• oxalica/nil

  NIx Language server, an incremental analysis assistant for writing in Nix.

  Language:Rust1.3k910340

• hamler-lang/hamler

  Haskell-style functional programming language running on Erlang VM.

  Language:Erlang1k317839

• whatyouhide/stream_data

  Data generation and property-based testing for Elixir. 🔮

  Language:Elixir8662210167

• josefs/Gradualizer

  A Gradual type system for Erlang

  Language:Erlang6122122635

• ericmj/decimal

  Arbitrary precision decimal arithmetic

  Language:Elixir462128199

• abuseofnotation/category-theory-illustrated

  A book about category theory

  Language:HTML320162035

• FAForever/fa

  Lua code for FAF

  Language:Lua226292k232

• groupoid/henk

  🧊 Чиста система з всесвітами

  Language:Erlang144223520

• schlagert/bootstrap

  A simple, yet powerful Erlang cluster bootstrapping application.

  Language:Erlang10013310

• tbocek/dvorak

  Wayland keyboard remapping with dvorak - make ctrl-c ctrl-c again :)

  Language:C6642018

• sile/hash_ring

  Implements consistent hashing in Erlang

  Language:Erlang45436

• sile/evel

  An Eventual Leader Election Library for Erlang

  Language:Erlang36303

• seriyps/eplaypen

  Erlang web playground http://tryerl.seriyps.ru/

  Language:Erlang33812

• dhess/nixos-yubikey

  Create NixOS ISO images for use with initializing Yubikeys

  Language:Nix30345

• ruippeixotog/quicksort

  Quicksort implemented by me in different languages

  Language:Idris27405

• vinnyA3/nixos-configuration

  A repo for my nixos configuration files

  Language:C21202

• TUM-DSE/doctor-cluster-config

  The servers configurations of https://dse.in.tum.de/

  Language:Nix184111

• slepher/astranaut

  traverse erlang ast and elixir macro in erlang.

  Language:Erlang152100

• basiliscos/erl-erlyfix

  FIX (Foreign Information Exchange) protocol implementation for Erlang

  Language:Erlang11312

• kovyl2404/cg_mon

  Erlang application to obtain resource metrics from cgroups

  Language:Erlang53

• manik1337/mynix

  Language:Nix2210

• svanderburg/monitoring-playground

  An exercise combining technologies to build a monitoring infrastructure

  Language:Nix240

• PythonNut/bclmctl

  A Linux userspace tool to read and write the BCLM Apple SMC key

  Language:C1001