Stars
emacs30 setup for Python and Jupyter with pixi
Exploring the Hoare State Monad with Coq
100+ AI Agent & RAG apps you can actually run — clone, customize, ship.
Multi-Joint dynamics with Contact. A general purpose physics simulator.
Converter for EN16931 invoices from CII to UBL
TensorZero is an open-source LLMOps platform that unifies an LLM gateway, observability, evaluation, optimization, and experimentation.
The LLM's practical guide: From the fundamentals to deploying advanced LLM and RAG apps to AWS using LLMOps best practices
Jupyter notebook client in Emacs
Milvus is a high-performance, cloud-native vector database built for scalable vector ANN search
A shorter way to write lambda expressions in Common Lisp
Jupyter notebooks for the paper "A fundamental non-classical logic"
Chat with your database or your datalake (SQL, CSV, parquet). PandasAI makes data analysis conversational using LLMs and RAG.
Implement a ChatGPT-like LLM in PyTorch from scratch, step by step
A unique fusion of ontology ideas, strong Scala type system and Json flexibility
OS-Lib is a simple, flexible, high-performance Scala interface to common OS filesystem and subprocess APIs
Dafny-VMC: a Library for Verified Monte Carlo Algorithms
Solutions for exercises in the book "Science of functional programming"
Detect still more THINGs as known from thingatpt.el