#
Lists (6)
Starred repositories
TW5-Graph: Dynamic and customizable graphing library for Tiddlywiki5
High performance, thread-safe in-memory caching primitives for .NET
A MCP server that enables you to manage Gitea/Forgejo repositories through AI assistants
💫 Toolkit to help you get started with Spec-Driven Development
An implementation of algebraic effects in dotnet.
Extremely Fast MessagePack Serializer for C#(.NET, .NET Core, Unity, Xamarin). / msgpack.org[C#]
Qwen3-Coder is the code version of Qwen3, the large language model series developed by Qwen team, Alibaba Cloud.
Replace OpenAI GPT with another LLM in your app by changing a single line of code. Xinference gives you the freedom to use any LLM you need. With Xinference, you're empowered to run inference with …
Calculate token/s & GPU memory requirement for any LLM. Supports llama.cpp/ggml/bnb/QLoRA quantization
State-of-the-Art Text Embeddings
Dafny is a verification-aware programming language
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
[COLM 2025] Code for Paper: Learning Adaptive Parallel Reasoning with Language Models
Chat UI in graph 🌲. Unlike traditional chat UIs, users don’t need to delete messages to explore different responses—they can simply create new branches.
Transforms complex documents like PDFs into LLM-ready markdown/JSON for your Agentic workflows.
An easy way to perform background job processing in .NET and .NET Core applications. No Windows Service or separate process required
A method and corresponding code for automatic description generation for Text-to-SQL
Programming language for literate programming law specification
🪢 Open source LLM engineering platform: LLM Observability, metrics, evals, prompt management, playground, datasets. Integrates with OpenTelemetry, Langchain, OpenAI SDK, LiteLLM, and more. 🍊YC W23
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
Wiki.js | A modern and powerful wiki app built on Node.js
A Non-Euclidean Rendering Engine for 3D scenes.
A high-throughput and memory-efficient inference and serving engine for LLMs
🌈A rich set of enterprise-class UI components based on Ant Design and Blazor.
An orchestration platform for the development, production, and observation of data assets.
An Easy-to-use, Scalable and High-performance RLHF Framework based on Ray (PPO & GRPO & REINFORCE++ & vLLM & Ray & Dynamic Sampling & Async Agentic RL)