A RESTful implementation of charmonator

This repository provides tutorials and implementations for various Generative AI Agent techniques, from basic to advanced. It serves as a comprehensive guide for building intelligent, interactive A…

Tunnelmole - Connect to local servers from anywhere

[ICLR 2025 Oral] This is the official repo for the paper "LLM-SR" on Scientific Equation Discovery and Symbolic Regression with Large Language Models

Minimal, self-hosted, 0-config alternative to ngrok. Caddy+OpenSSH+50 lines of Python.

Minimal, self-hosted, 0-config alternative to ngrok. Caddy+OpenSSH+50 lines of Python.

List of ngrok/Cloudflare Tunnel alternatives and other tunneling software and services. Focus on self-hosting.

Natural language tactics to teach mathematics using Lean 4

An introduction to theorem proving in Lean for the impatient.

Geo-scale, next-generation peer-to-peer sharing platform built on top of OpenZiti.

🚀🤖 Crawl4AI: Open-source LLM Friendly Web Crawler & Scraper. Don't be shy, join here: https://discord.gg/mEkkMXFG

MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search. See also AS-MOSES https://github.com/opencog/asmoses but kept to guaranty backward compatibility.

Arc Virtual Cell Atlas

LLM based autonomous agent that conducts deep local and web research on any topic and generates a long report with citations.

A simple LLM client for Emacs

Replace 'hub' with 'diagram' in any GitHub url to instantly visualize the codebase as an interactive diagram

Python library for program synthesis and symbolic execution combining constraint solving and LLMs

Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin

Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977

Clean, minimal, accessible reproduction of DeepSeek R1-Zero

Multi-objective generative AI for designing novel brain-targeting small molecules.

Visual testing tool for MCP servers

Machine learning framework for Node.js.

A logic programming language that has features of both Datalog and answer set programming.

Slog 1.0

Dopamine is a research framework for fast prototyping of reinforcement learning algorithms.