Lists (3)
Stars
Text Adventure game in SWI Prolog.
F1 Live Timing TUI for all F1 sessions with variable delay to sync to your TV. Supports replaying previously recorded sessions.
A practical hacker's guide to the C programming language.
Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp Machine Prolog, and Franz Inc.'s Allegro Prolog, with some e…
A minimal programming example for a chat server
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
A Zig language server supporting Zig developers with features like autocomplete and goto definition
Learn the Zig programming language by fixing tiny broken programs.
Umami is a modern, privacy-focused alternative to Google Analytics.
⚡⚙️ Fast Prototyping with Template Engines in Vite. Small and fast static site generator for Vite.
🤯 Lobe Chat - an open-source, modern-design AI chat framework. Supports Multi AI Providers( OpenAI / Claude 3 / Gemini / Ollama / DeepSeek / Qwen), Knowledge Base (file upload / knowledge managemen…
Dify is an open-source LLM app development platform. Dify's intuitive interface combines AI workflow, RAG pipeline, agent capabilities, model management, observability features and more, letting yo…
A beautiful yet powerful syntax highlighter
A neural network in TypeScript's type system. A vision model that recognizes digits. Based on Dr. Chris Eliasmith's research. Implemented purely in type-level TypeScript.
Common Lisp implementation of the Forth 2012 Standard
Huly — All-in-One Project Management Platform (alternative to Linear, Jira, Slack, Notion, Motion)
A TypeScript chess library for chess move generation/validation, piece placement/movement, and check/checkmate/draw detection
An open-source RAG-based tool for chatting with your documents.
[ICLR 2025] From anything to mesh like human artists. Official impl. of "MeshAnything: Artist-Created Mesh Generation with Autoregressive Transformers"
A fast and correct TypeScript type checker and compiler with additional experiments
🌟 The Multi-Agent Framework: First AI Software Company, Towards Natural Language Programming
Introduction to Functional Programming using TypeScript and fp-ts.