Baris Erdem Claim this profile

A durable job engine for Elixir, on Postgres. Jobs are built from memoized steps — retries resume work instead of redoing it. Budgets, workflows, human-in-the-loop, embedded dashboard.

Coyote-style controlled concurrency testing for the BEAM

A powerful and flexible Elixir library for parsing, evaluating, and navigating JSON data using JSONPath

Fast arbitrary-precision decimal arithmetic for Elixir. Pure-Elixir alternative to ericmj/decimal, ~10x faster on average.

Reverse Engineering Toolkit for Mobile APIs — 14 tools: traffic capture, client generation, TLS/HTTP2 fingerprinting, bot detection, token analysis, auth flow mapping, protobuf decoding, JS bundle scanning, cert pinning bypass, rate limit probing, mock servers, schema comparison

CBOR (RFC 8949) encoding/decoding library for Ada/SPARK — 100% formally verified, no heap allocation, embedded-ready

The Missing Web UI for SMS Messaging

Fine-grained Permission/Policy Checker Middleware for Absinthe

COSE (RFC 9052 / 9053) library for Ada 2022 with partial SPARK coverage

SPARK-proved HMAC (RFC 2104) implementation in Ada/SPARK

SHA-3 / SHAKE (FIPS 202) in SPARK/Ada — 159/159 verification conditions proved at gnatprove level 2, zero unproved, NIST CAVP cross-validated. Apache-2.0.

NIST P-256 / ECDSA (ES256) library for Ada with SPARK flow analysis

libcluster strategy backed by HyParView active-view membership — partial-mesh BEAM distribution

FIPS 204 ML-DSA (Dilithium) in SPARK/Ada — 1898/1898 VCs proved, zero escape hatches, machine-proved rounding identities, ACVP-tested. Dual-licensed GPL-3.0 / commercial.

SPARK-proved HKDF (RFC 5869) - HKDF_SHA256 proved at Level 2

FIPS 203 ML-KEM (Kyber) in SPARK/Ada — 2204/2204 VCs proved, zero escape hatches, machine-proved serialization round-trips, empirical constant-time evidence. Dual-licensed GPL-3.0 / commercial.

HyParView membership protocol — a clean BEAM-native Elixir implementation (DSN 2007 paper)

SPARK-proved CCSDS protocol suite for Ada 2022

Formally verified BLAKE3 in SPARK/Ada — 482/482 VCs proved, zero pragma Assume (the chaining-value stack bound is a machine-checked theorem). Dual-licensed GPL-3.0 / commercial.

Systems software, formal methods, and the BEAM. Notes on what I'm building.

Arbitrary precision decimal arithmetic

Static + runtime analyzer for Elixir/OTP supervision trees and the cross-tree coupling they hide

SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems

Support library for manipulating Web protocols.

Asynchronous Push Notification For Android

Benchmark suite comparing HyParView partial-mesh + flooding pubsub vs Phoenix.PubSub full-mesh on BEAM

A modern, Redshift-first Ecto SQL adapter for Amazon Redshift. Built on Postgrex, with explicit handling of Redshift's divergence from PostgreSQL.

Community index for the Alire project

List of libraries, tools and APIs for web scraping and data processing.

A curated list of awesome Android Reverse Engineering training, resources, and tools.

Awesome Frida - A curated list of Frida resources http://www.frida.re/ (https://github.com/frida/frida)

Workflow engine for Kubernetes

Argo shared libraries between argo projects

The GraphQL toolkit for Elixir

A frontend-independent IDE "smartness" server for Elixir. Implements the "Language Server Protocol" standard and provides debugger support via the "Debug Adapter Protocol"

Open vSwitch