Higher-Level Transformer as described in the paper "The Next 700 Program Transformers"

the terminal client for LLMs

multi-stage relational programming for staged relational interpreters: running with holes, faster

Ray tracing and hybrid rasterization of Gaussian particles

Service for testing out the new Qwen2.5 omni model

A zero-knowledge Lean4 compiler and kernel

A Conversational Speech Generation Model

piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and symbolic reasoning

Artifact for the Functional Pearl "Grokking the Sequent Calculus"

The safest scripting language for you, or your agent.

A language with dependent data and codata types

Duo - A research language exploring duality in programming language design

LLM verified with Monte Carlo Tree Search

Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.sigplan.org/details/POPL-2024-popl-research-papers/50)

Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"

WIP: taking a stab at an interpreter for elm which embeds provenance information in output values

An axiom-free formalization of category theory in Coq for personal study and practical work

A curated collection of diagramming tools used by leading software engineering teams

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

Benchmarks for capture-avoiding substitution

Pure Type Systems for Functional Programming

Koka language compiler and interpreter

An extensible and cross-compatible testing framework.

A modern proof language

Common lisp implementation of Val Schorr's Meta-II language

Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.

Utility for running external programs

Dependently Typed Lambda Calculus in Haskell

MuseScore is a open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

Sheet Music