Cross-chain USDC Lending — open, verifiable NAV computation for the σ-Labs / Ellen Capital Lagoon vault (sigmaUSDC)

the runtime your coding agents live on

Kai is a local, Telegram-first personal engineering system: a persistent AI collaborator with repo-aware coding, memory, scheduling, PR review, and multi-backend resilience. Your machine, your data…

Call MCPs via TypeScript, masquerading as simple TypeScript API. Or package them as cli.

A Model Context Protocol server for searching and analyzing arXiv papers

Systematic investigation of 11 exotic math frameworks (Lie groups, tropical algebra, p-adic numbers, etc.) applied to deep learning, with dual JAX and PyTorch implementations

A python library/command-line tool to quickly and automatically generate BibTeX data starting from the pdf file of a scientific publication.

classic hanoi tower written by chatbot

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

Development repository for Mangrove

🌴 SDK for building applications on Mangrove and bots using the SDK

Wrecking sandwich traders for fun and profit

Blockchains and Distributed Ledgers

GNU/Emacs support for the Kappa language

Code to estimate models in epidemiology

Context sensitive completion for OCaml in Vim and Emacs

Replication of study Avellaneda, Marco, and Sasha Stoikov: High-frequency trading in a limit order book. Quantitative Finance 8.3 (2008): 217-224.

Implementation of Quantum Ising Born Machine

Repository of kappa models

[Unmaintained] Open source two-factor authentication for Android

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson