Starred repositories
An analysis tool for Python that blurs the line between testing and type systems.
Lean theorem proving interface which feels like pen-and-paper proofs.
A project to digitalise results from physics into Lean.
This repo includes ChatGPT prompt curation to use ChatGPT and other LLM tools better.
Open-source vector similarity search for Postgres
This repository contains various advanced techniques for Retrieval-Augmented Generation (RAG) systems.
Python Finite State Machines made easy.
An extremely long review of R.
bureaucracy guidebook -- https://processempathy.github.io/
Flask, Neo4j, Gunicorn, Docker software for
An efficient Python package for detecting and identifying English idiomatic expressions and phrases within sentences.
The official repository for the gem5 computer-system architecture simulator.
TinyChatEngine: On-Device LLM Inference Library
An unofficial, platform independent, client for the Too Good To Go API
800,000 step-level correctness labels on LLM solutions to MATH problems