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

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse

Starred repositories

Showing results

Generate json schema from ocaml type

OCaml 21 2 Updated Apr 3, 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 26,387 10,425 Updated Apr 3, 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 256 7 Updated Feb 28, 2026

OCaml - Oxidized!

OCaml 687 138 Updated Apr 3, 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,546 530 Updated Apr 1, 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 31,084 3,368 Updated Apr 3, 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,474 138 Updated Mar 31, 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 89 15 Updated Mar 25, 2026
C 70 5 Updated Feb 26, 2026

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

TypeScript 5 1 Updated Mar 25, 2026

An experiment in durability

Python 1,306 54 Updated Apr 3, 2026

MetaML and MetaOCaml bibliography

100 4 Updated Dec 1, 2024

A menagerie of cute implementations of modern typechecking algorithms

Rust 401 13 Updated Jan 26, 2026

OCaml implementation of the Model Context Protocol (MCP)

OCaml 56 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,647 223 Updated Apr 3, 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 86 Updated Dec 31, 2025

Adds all vim moves and modes to macOS text fields

C 989 17 Updated Mar 16, 2024

A markdown terminal slideshow tool

Rust 8,152 178 Updated Mar 24, 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 179 9 Updated Aug 12, 2024

a scalable data profiler

TypeScript 405 19 Updated Jan 15, 2026

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

Python 3,749 60 Updated Oct 2, 2025

Pretty-printing for error source locations

OCaml 37 5 Updated Jun 1, 2022
Next