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 Mar 16, 2026

A shell library for OCaml

OCaml 87 9 Updated Feb 23, 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 24,970 8,013 Updated Mar 22, 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 681 136 Updated Mar 22, 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,352 504 Updated Mar 21, 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 59 4 Updated Jan 9, 2026

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

TypeScript 27,161 2,876 Updated Mar 23, 2026

Template for an ocaml project with modern tooling

OCaml 93 6 Updated Jan 2, 2026

Make your JSON data collaborative and version-controlled with CRDTs

Rust 5,450 136 Updated Mar 21, 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 86 14 Updated Feb 22, 2026
C 68 5 Updated Feb 26, 2026

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

TypeScript 5 1 Updated Jan 2, 2026

An experiment in durability

TypeScript 1,119 49 Updated Mar 3, 2026

MetaML and MetaOCaml bibliography

100 4 Updated Dec 1, 2024

A menagerie of cute implementations of modern typechecking algorithms

Rust 399 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,623 217 Updated Mar 22, 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,891 86 Updated Dec 31, 2025

Adds all vim moves and modes to macOS text fields

C 984 17 Updated Mar 16, 2024

A markdown terminal slideshow tool

Rust 8,090 175 Updated Mar 5, 2026

A tool for managing inline review comments embedded in source code

OCaml 11 1 Updated Mar 18, 2026

Prettier quickfix/location list windows for NeoVim

Lua 179 9 Updated Aug 12, 2024

a scalable data profiler

TypeScript 404 19 Updated Jan 15, 2026

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

Python 3,743 60 Updated Oct 2, 2025

Pretty-printing for error source locations

OCaml 37 5 Updated Jun 1, 2022
Next