A systems programming language with lexical effect handlers

Quine Museum

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

DroidAgent: Intent-Driven Mobile GUI Testing with Autonomous LLM Agents

DSPy: The framework for programming—not prompting—language models

Programming Languages I Lecture Notes

An experimental mdbook backend for creating EPUB documents.

A sbt plugin for creating distributable Scala packages.

OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamically to do so.

A language with lexical effect handlers and lightweight effect polymorphism

Java source code of an application which can play standard Midi files like Jean Haury's metapiano

Library to talk to IKEA Trådfri Gateways without external binaries

Benchmarking algebraic effect handler implementations

Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effects

Tiny DOM binding library for Scala.js

Ott formalization of the DOT calculus

The Penn Locally Nameless Metatheory Library

Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott

The Ott tool for writing definitions of programming languages and calculi

The Ballerina Programming Language

Mac DSLR webcam plugin for using DSLRs for video conferencing and streaming.

LAR-19642-1: Visual Studio Code Extension for PVS

Tricks you wish the Coq manual told you [maintainer=@tchajed]

Code from the book "Types and Programming Languages" in Scala

📄 Awesome CV is LaTeX template for your outstanding job application

Joplin - the privacy-focused note taking app with sync capabilities for Windows, macOS, Linux, Android and iOS.

Lab Materials for MIT 6.S191: Introduction to Deep Learning

A pure type system implemented in OCaml

A modern proof language