petrkozorezov

erl_snowflake

Erlang fast snowflake id generator

erl_eval_records

Erlang library for using records in erl_eval

raft_server

Erlang OTP style server based on raft protocol

estdinout

Simple Erlang middleware for resolving EOF port problem

mynixos

My NixOS configuration files

typo

Experiments with type checking in Erlang

macro_pipe

Pipe on steroids for Erlang implemented as a macro

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

presentations

AlphaCodium

Official implementation for the paper: "Code Generation with AlphaCodium: From Prompt Engineering to Flow Engineering""

anchor

⚓ Solana Sealevel Framework

bclmctl

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

cache

Erlang in-memory cache

csclub-coq-course-spring-2021

A course on formal verification at https://compsciclub.ru, Spring term 2021

erlzma

fp-lean

Functional Programming in Lean

inotify

erlang binding to inotify

langchain

Elixir implementation of a LangChain style framework.

machinegun

Machinegun FSM processor

my_erl_libs_tests

Integration tests for my public erlang libraries.

nixpkgs

Nix Packages collection

nvidia-docker

Build and run Docker containers leveraging NVIDIA GPUs

nx

Multi-dimensional arrays (tensors) and numerical definitions for Elixir

otp

Erlang/OTP

proper

PropEr: a QuickCheck-inspired property-based testing tool for Erlang

rebar3

Erlang build tool that makes it easy to compile and test Erlang applications and releases.

sofle-nicenano-oled

statsderl

High-Performance Erlang StatsD Client

xla

Pre-compiled XLA extension

zksync

zkSync: trustless scaling and privacy engine for Ethereum