A Common Lisp library for building TUIs

The Go programming language

Book and code and pointers to videos for my relational interpreter course

How are we doing?

`llm-chain` is a powerful rust crate for building chains in large language models allowing you to summarise text and complete complex tasks

URL Standard

A Relational Exploration of McCarthy's amb

Streamline your Org document exports to PDF, HTML, DOC, and more with OrgMk. Simplify document compilation and enhance productivity. #orgmode #productivity #automation

A statically typed lisp, without a GC, for real-time applications.

A dependently typed programming language, a successor to Idris

Watch MLB games from the comfort of your own terminal

A Dependently Typed Functional Programming Language

Expressen client testing framework

Workrave is a program that assists in the recovery and prevention of Repetitive Strain Injury (RSI). The program frequently alerts you to take micro-pauses, rest breaks and restricts you to your da…

A modern editor with a backend written in Rust.

Git extensions to provide high-level repository operations for Vincent Driessen's branching model.

The Hindley Milner Type Inference Algorithm

JavaFX Material Design Library

Lisp Flavoured Erlang (LFE)

An open source code editor for the web, written in JavaScript, HTML and CSS.