Starred repositories
236
results
for source starred repositories
Clear filter
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
An introduction to programming language theory in Agda
A online playground to explore with type Inference algorithms.
A language with lexical effect handlers and lightweight effect polymorphism
Typst Lecture Notes for University of Oxford course C2.2 Homological Algebra (Michaelmas, 2023-24)
The Next Generation of Compositional Programming
A simple scala-like dependent type programming language
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Open Source Continuous File Synchronization
User-friendly AI Interface (Supports Ollama, OpenAI API, ...)
Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.
LangChain4j is an open-source Java library that simplifies the integration of LLMs into Java applications through a unified API, providing access to popular LLMs and vector databases. It makes impl…