Masaya Tojo

mcp.el. An Mcp client inside Emacs

gptel. A simple, extensible LLM client for Emacs

gptel-autocomplete. Code completion package for Emacs using gptel

valign. Pixel-perfect visual alignment for Org and Markdown tables.

coalton. Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

cl-dbi. Database independent interface for Common Lisp

lantern-theme. Brown-Orange colour theme, and userCSS styles for different websites and services.

emacs-sql-postgres. Nic's tools for wrangling postgres in Emacs. Notably plpgsql indentation.

screamer. Screamer is an extension of Common Lisp that adds support for nondeterministic programming.

amb. An implementation of John McCarthy's ambiguous operator in portable Common Lisp.

proof-pad-classic. An IDE for ACL2

proof-pad. A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic

laminar. Fast and lightweight Continuous Integration

egison-scheme. Scheme macros for non-linear pattern matching with backtracking for non-free data types

egison. The Egison Programming Language

dunst. Lightweight and customizable notification daemon

application. :envelope: Unofficial desktop client for ProtonMail

aws. Racket support for Amazon Web Services.

trivial. Stronger types for a few Typed Racket operators

nextbird. “Life support” fork of Corebird, a native GTK+ Twitter client

web-server. Racket

syntactic-closure. syntactic closures built on top of Clojure's macro system

sequelize-typescript. Decorators and some other features for sequelize

travis-racket. Use Travis CI with Racket

yaml. A YAML library for Racket.

WebClients. Monorepo hosting the proton web clients

uf. a toy implementation of Forth programming language

utopian. A web framework for Common Lisp never finished.

racket. The Racket repository

rascas. Computer Algebra System for Racket

mpl. Computer Algebra and Symbolic Computation for R6RS Scheme

argo. JSON Schema Adventures

Drains. A new abstraction for flexible and efficient sequence aggregation in Clojure(Script)