- New Hampshire
- http://www.pauldee.org
Stars
- All languages
- Ada
- Alloy
- Assembly
- Boogie
- C
- C#
- C++
- CMake
- Clojure
- CoffeeScript
- Common Lisp
- Cuda
- Elixir
- Erlang
- Fennel
- Flix
- Forth
- Go
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Modula-2
- OCaml
- Objective-C++
- PHP
- PicoLisp
- Prolog
- Python
- R
- Racket
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Shen
- Standard ML
- SystemVerilog
- TLA
- TeX
- TypeScript
- VHDL
- Vim Script
- Web Ontology Language
- WebAssembly
- Wren
- Zig
The all-in-one Desktop & Docker AI application with built-in RAG, AI agents, No-code agent builder, MCP compatibility, and more.
The AI coding agent built for the terminal.
An Open-Ended Embodied Agent with Large Language Models
Open-source implementation of AlphaEvolve
TermNet is an AI-powered terminal assistant that bridges a Large Language Model (LLM) with your local environment. It can safely run shell commands, search the web, and load custom tools dynamicall…
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
Graph database optimized for fast analysis and real-time data processing. It is provided as an extension to PostgreSQL.
DuckDB-powered Postgres for high performance apps & analytics.
Open Source Local Data Analysis Assistant.
An Open-Source Asynchronous Coding Agent
Open source alternative to NotebookLM, Perplexity, and Glean. Connects to search engines, Slack, Linear, Jira, ClickUp, Notion, YouTube, GitHub, Discord, and more. Join our Discord: https://discord…
First-class compile‑time Arrow schemas for Rust.
Run any Linux process in a secure, unprivileged sandbox using Landlock. Think firejail, but lightweight, user-friendly, and baked into the kernel.
A statically typed Lisp like scripting programming language for Rust.
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
Github repo for the paper Reliable Reasoning Beyond Natural Language
Optimizing inference proxy for LLMs