Local Deep Research achieves ~95% on SimpleQA benchmark (tested with GPT-4.1-mini). Supports local and cloud LLMs (Ollama, Google, Anthropic, ...). Searches 10+ sources - arXiv, PubMed, web, and yo…

Algorithmic Information Theory, using Binary Lambda Calculus

Wallpaper Engine HTML Phaser v3.80.1 template

Base docker image used in Codex environments

Nix, the purely functional package manager

Fast, effective, mind-blowing, coding CLI. Browser integration, multi-agents, theming, and reasoning control. Orchestrate agents from OpenAI, Claude, Gemini or any provider.

Lightweight coding agent that runs in your terminal

An open source payments switch written in Rust to make payments fast, reliable and affordable

Я - extremely composable embeddable programming language

This package contains the original 2012 AlexNet code.

GenAI Agent Framework, the Pydantic way

A WebAssembly runtime implemented in TypeScript types

TypeScript code generation from a haskell-like syntax for ADT. Playground:

Staging repo for development of native port of TypeScript

Simultaneous speech-to-text model

A library for building bots compositionally.

📖 Projects showcased in the book "Learn Haskell by Example"

Multiplayer at the speed of light

A high-performance distributed file system designed to address the challenges of AI training and inference workloads.

A Proof-oriented Programming Language

DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

a polysemantic language for code with multitudes of meaning

Lisp compiler for x86-64

Distilled variant of Whisper for speech recognition. 6x faster, 50% smaller, within 1% word error rate.

Basic CLI math tool

Faster Whisper transcription with CTranslate2

Whisper realtime streaming for long speech-to-text transcription and translation