@0ad appimage

Use your Neovim like using Cursor AI IDE!

aider is AI pair programming in your terminal

Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.

A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.

Secure Python sandbox for AI/ML code execution using Docker. Run LLM outputs safely.

Access large language models from the command-line

Gtk4 Whatsapp client

Python job scheduling for humans.

Manipulate audio with D5CB a simple and easy high level interface

An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

An open source engine for your digital products. Sell SaaS and digital products in minutes.

Polar SDK for Python

Examples for TLAPS (TLA+ Proof System)

Lean-independent implementation of the MM-Lean link

HTTP rate limiting module for Caddy 2

type-safe exceptions for Python 👷

A tiny CSS parser

Trying to migrate a great mouse-gesture extension to the Manifest V3...

The official (but not yet stable) formatter for Nix code

A no-nonsense CAPTCHA system with seamless UX | Backend component

the AI-native open-source embedding database

Python client and plugin host for Nvim

Fork of Google codesearch with more options

A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more

Rapid fuzzy string matching in Python using various string metrics

FastAPI plugin to enable SSO to most common providers (such as Facebook login, Google login and login via Microsoft Office 365 Account)

Filter your current RSS feeds with AI customized recommendations.