Stars
Skills for Real Engineers. Straight from my .claude directory.
A suite of JavaScript parsers for first-order logic languages.
A CCG parser for Japanese with DTS-representations
A framework for natural language syntax and semantics based on type theory.
Framework to transform natural language into formal language (Temporal Logics).
Self-hosted, semantically-connected personal knowledge base
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
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.
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.