-
Harvard University
- Cambridge, MA
- http://namin.org
Stars
- All languages
- Agda
- Assembly
- Awk
- Bluespec
- C
- C#
- C++
- CSS
- CWeb
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Dafny
- Elm
- Emacs Lisp
- Erlang
- F*
- Forth
- Fortran
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- Makefile
- Markdown
- NewLisp
- OCaml
- Objective-C
- Pascal
- Perl
- Prolog
- Pure Data
- Python
- R
- Racket
- Rascal
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Scala
- Scheme
- Shell
- Slash
- Smarty
- Standard ML
- Swift
- TeX
- TypeScript
- UrWeb
- VHDL
- Verilog
- Vue
Actor-based state management & orchestration for complex app logic.
React Flow | Svelte Flow - Powerful open source libraries for building node-based UIs with React (https://reactflow.dev) or Svelte (https://svelteflow.dev). Ready out-of-the-box and infinitely cust…
Full stack, modern web application template. Using FastAPI, React, SQLModel, PostgreSQL, Docker, GitHub Actions, automatic HTTPS and more.
10 Lessons to Get Started Building AI Agents
An open source framework for building AI-powered apps with familiar code-centric patterns. Genkit makes it easy to develop, integrate, and test AI features with observability and evaluations. Genki…
Self-hosted Docker native tunneling to localhost. Expose local docker containers to the public Internet via a simple docker compose interface.
A lightweight, powerful framework for multi-agent workflows
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
tonyg / SirTunnel
Forked from anderspitman/SirTunnelMinimal, 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/jP8KfhDhyN
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.
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