Skip to content
View andreypopp's full-sized avatar
🏠
Working from home
🏠
Working from home

Sponsoring

@mjambon

Organizations

@prometheusresearch @ocaml @esy @arrowresearch @ocaml-mlx

Block or report andreypopp

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Pure-OCaml YAML 1.2 & 1.1 Library

OCaml 3 Updated Apr 10, 2026

Generate json schema from ocaml type

OCaml 21 2 Updated Apr 9, 2026

A shell library for OCaml

OCaml 87 9 Updated Apr 3, 2026

A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs dir…

TypeScript 27,114 11,615 Updated Apr 10, 2026

`t` (T-for-text) is a concise language for manipulating text, replacing common usage patterns of Unix utilities like grep, sed, cut, awk, sort, and uniq.

Rust 255 7 Updated Feb 28, 2026

OCaml - Oxidized!

OCaml 697 139 Updated Apr 11, 2026

A text-to-speech (TTS), speech-to-text (STT) and speech-to-speech (STS) library built on Apple's MLX framework, providing efficient speech analysis on Apple Silicon.

Python 6,656 543 Updated Apr 7, 2026

Shell scripts and skills to coordinate two agent peers on providing alternative solutions to the same task

Shell 2 1 Updated Mar 7, 2026

Tools for working with Claude Code

Lua 8 2 Updated Mar 2, 2026

A Claude Code plugin that restricts Claude to ONLY use Python code execution. All other tools are blocked, creating a pure computational environment.

Python 58 4 Updated Jan 9, 2026

AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods

TypeScript 34,383 3,898 Updated Apr 11, 2026

Template for an ocaml project with modern tooling

OCaml 94 6 Updated Apr 1, 2026

Make your JSON data collaborative and version-controlled with CRDTs

Rust 5,500 138 Updated Apr 9, 2026

This repository exists in order to hold OCaml variants for modular explicit and modular implicit

OCaml 4 Updated Dec 15, 2025

Zsh plugin: natural language to shell commands with AI

Shell 90 15 Updated Apr 8, 2026
C 72 5 Updated Feb 26, 2026

Automatically release OCaml packages to opam using dune-release in GitHub Actions

TypeScript 5 1 Updated Apr 10, 2026

An experiment in durability

Python 1,573 60 Updated Apr 7, 2026

MetaML and MetaOCaml bibliography

100 4 Updated Dec 1, 2024

A menagerie of cute implementations of modern typechecking algorithms

Rust 408 13 Updated Apr 7, 2026

OCaml implementation of the Model Context Protocol (MCP)

OCaml 57 13 Updated Aug 12, 2025

πŸ¦– Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.

Haskell 154 2 Updated Jun 22, 2025

A Lean companion to Analysis I

Lean 1,660 226 Updated Apr 10, 2026

vim match-up: even better % πŸ‘Š navigate and highlight matching words πŸ‘Š modern matchit and matchparen. Supports both vim and neovim + tree-sitter.

Vim Script 1,893 88 Updated Apr 10, 2026

Adds all vim moves and modes to macOS text fields

C 990 17 Updated Mar 16, 2024

A markdown terminal slideshow tool

Rust 8,188 176 Updated Apr 8, 2026

A tool for managing inline review comments embedded in source code

OCaml 11 1 Updated Mar 26, 2026

Prettier quickfix/location list windows for NeoVim

Lua 180 9 Updated Aug 12, 2024

a scalable data profiler

TypeScript 406 19 Updated Jan 15, 2026

Recursive Mono & Sans is a variable font family for code & UI

Python 3,751 60 Updated Oct 2, 2025
Next