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 made from org mode headings

Ellama is a tool for interacting with large language models from Emacs.

List of papers studying machine learning through the lens of category theory

AI for Mathematics (AI4Math) paper list

NCSC Guidance for secure development and deployment

⚡FlashRAG: A Python Toolkit for Efficient RAG Research

Go manage your Ollama models

Write C shims from within Lean code.

typed finite-state machine

A sentence segmentation library with wide language support optimized for speed and utility.

ParaNames: A multilingual resource for parallel names

Functional, expression-oriented data processing language

Provide Semantic Parsing solutions and Natural Language Inferences for multiple languages following the idea of the syntax-semantics interface.

Simple verification of Rust programs via functional purification in Lean 2(!)

A verification toolchain for Rust programs

A curated list of awesome READMEs

⛅ The right way to check the weather

Language based on Rewriting Logic

Emacs support library for PDF files.

Type-safe effectful state machines in Haskell

A knowledge integration framework based on Wikidata

SampCert : Verified Differential Privacy

Course materials for Georgia Tech CS 4650 and 7650, "Natural Language"

A lightweight serverless platform that uses Web Browsers as execution engines

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

Frog is a static blog generator implemented in Racket, targeting Bootstrap and able to use Pygments.