lagleki Follow 
Stars
Code search MCP for Claude Code. Make entire codebase the context for any coding agent. Embeddings are created and stored locally. No API cost.
A modular semantic search system with MCP integration for searching local documentation.
MCP Server for Sematic Searching
A concise, beginner-friendly introduction to the core ideas of linear algebra.
Modern, Streamlined, Free and Open Source Customer Service Software
🌸 Learn Japanese grammar with TypeScript
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Streamlining reinforcement learning with RLOps. State-of-the-art RL algorithms and tools, with 10x faster training through evolutionary hyperparameter optimization.
The backend of my twitter clone that I'm building because I don't agree with Elon Musk. Written in rust using `actix_web` and `postgresql` (via `sqlx`).
The best repository showing why transformers might not be the answer for time series forecasting and showcasing the best SOTA non transformer models.
Clean baseline implementation of PPO using an episodic TransformerXL memory
An example of CQRS/Event Sourcing and GraphQL implemented in Rust.
Deep Reinforcement Learning: Zero to Hero!
强化学习算法库，包含了目前主流的强化学习算法(Value based and Policy based)的代码，代码都经过调试并可以运行
A Cytoscape.js extension to export the current graph view as an SVG.
Reproducing http://kingjamesprogramming.tumblr.com and having fun.
A container GitHub Action to review a pull request by HuggingFace's LLM Model.
LLM verified with Monte Carlo Tree Search
Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
Tools for shrinking fastText models (in gensim format)
An RFC 5322, and RFC 6532 compliant email address parser.
An experimental proof assistant based on a type theory for synthetic ∞-categories.
Mac OS theme with the Aqua design guidelines
A CSS framework based on Human Guidelines from apple