petrkozorezov Goto Github PK

alphacodium

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

anchor

⚓ Solana Sealevel Framework

basho_metrics

Fast performance metrics for Erlang

bclmctl

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

cache

Erlang in-memory cache

cg_mon

Erlang application to obtain resource metrics from cgroups

covertool

Tool to convert Erlang cover data files into Cobertura XML reports

csclub-coq-course-spring-2021

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

dreambook

dreambook app

entity

epgsql

Erlang PostgreSQL client library.

epgsql_utils

Utilities for erlang postgresql driver

erl_eval_records

Erlang library for using records in erl_eval

erl_snowflake

Erlang fast snowflake id generator

erlang-guidelines

Developer guidelines

erlang_user_utilities

Some erlang utility modules I have in ~/.ebin/

erlzma

estatist

fast application statistics aggregator for erlang, based on basho_metrics

estatist_http

estatist http/json frontend

estdinout

Simple Erlang middleware for resolving EOF port problem

euthanasia

Merciful killer for your Erlang processes

folsom

Expose Erlang Events and Metrics

fp-lean

Functional Programming in Lean

gdt

General Data Types(GDT) serializing and remote procedute calliing system.

gen_leader_revival

A project to unify various implementations of the Erlang library gen_leader into a modern, robust single implementation

genlib

Things long time missing from stdlib

inotify

erlang binding to inotify

jimm_history_reader

Reader for the jimm mobile messanger history files.

jimm_history_reader_site

langchain

Elixir implementation of a LangChain style framework.