Pinned Repositories
basho_metrics
Fast performance metrics for Erlang
entity
erl_eval_records
Erlang library for using records in erl_eval
erl_snowflake
Erlang fast snowflake id generator
estatist
fast application statistics aggregator for erlang, based on basho_metrics
estdinout
Simple Erlang middleware for resolving EOF port problem
mynixos
My NixOS configuration files
presentations
raft_server
Erlang OTP style server based on raft protocol
social_net_api
interface for various social networks api
petrkozorezov's Repositories
petrkozorezov/erl_snowflake
Erlang fast snowflake id generator
petrkozorezov/erl_eval_records
Erlang library for using records in erl_eval
petrkozorezov/raft_server
Erlang OTP style server based on raft protocol
petrkozorezov/estdinout
Simple Erlang middleware for resolving EOF port problem
petrkozorezov/mynixos
My NixOS configuration files
petrkozorezov/typo
Experiments with type checking in Erlang
petrkozorezov/macro_pipe
Pipe on steroids for Erlang implemented as a macro
petrkozorezov/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
petrkozorezov/presentations
petrkozorezov/AlphaCodium
Official implementation for the paper: "Code Generation with AlphaCodium: From Prompt Engineering to Flow Engineering""
petrkozorezov/anchor
⚓ Solana Sealevel Framework
petrkozorezov/bclmctl
A Linux userspace tool to read and write the BCLM Apple SMC key
petrkozorezov/cache
Erlang in-memory cache
petrkozorezov/csclub-coq-course-spring-2021
A course on formal verification at https://compsciclub.ru, Spring term 2021
petrkozorezov/erlzma
petrkozorezov/fp-lean
Functional Programming in Lean
petrkozorezov/inotify
erlang binding to inotify
petrkozorezov/langchain
Elixir implementation of a LangChain style framework.
petrkozorezov/machinegun
Machinegun FSM processor
petrkozorezov/my_erl_libs_tests
Integration tests for my public erlang libraries.
petrkozorezov/nixpkgs
Nix Packages collection
petrkozorezov/nvidia-docker
Build and run Docker containers leveraging NVIDIA GPUs
petrkozorezov/nx
Multi-dimensional arrays (tensors) and numerical definitions for Elixir
petrkozorezov/otp
Erlang/OTP
petrkozorezov/proper
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
petrkozorezov/rebar3
Erlang build tool that makes it easy to compile and test Erlang applications and releases.
petrkozorezov/sofle-nicenano-oled
petrkozorezov/statsderl
High-Performance Erlang StatsD Client
petrkozorezov/xla
Pre-compiled XLA extension
petrkozorezov/zksync
zkSync: trustless scaling and privacy engine for Ethereum