Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf

Emacs Plus formulae for the Homebrew package manager

Emacs mac port formulae for the Homebrew package manager

Implementation of the λΠ-calculus modulo rewriting

A free book: "The Science of Functional Programming"

A community driven list of useful Emacs packages, libraries and other items.

Download market data from Yahoo! Finance's API

Terminal assistant for the hopelessly confused

Build beautiful documentation

This is the text partitioner project for Python.

Everything that makes working with databases easier

Build production-ready AI agents in both Python and Typescript

Integrating diagramming and data visualization

A semantic JSON compare tool

Repo for my live-training about getting started with langchain

ImProver: Agent-Based Automated Proof Optimization

Helper toolkit for creating your own Lean 4 UserWidgets

Get your documents ready for gen AI

A collection of resources for learning type theory and type theory adjacent fields.

Solutions for Okasaki's "Purely functional data structures" book

Run your GitHub Actions locally 🚀

Files associated with the course Interactive Theorem Proving at LMU SoSe 2024

A simple REPL for Lean 4, returning information about errors and sorries.

Structured Text Generation

Awesome Search - this is all about the (e-commerce, but not only) search and its awesomeness

Lightning fast, spec-compatible, streaming RDF for JavaScript

A survey and reflection on the latest research breakthroughs in LLM-generated Text detection, including data, detectors, metrics, current issues and future directions.

Present anything Emacs can do with programmable, extensible, configurable slides & presentation steps made from org mode headings