Coq based JSON-Schema to SMT system.

Why is this running?

A focused launcher for your desktop — native, fast, extensible

Research code artifacts for Code World Model (CWM) including inference tools, reproducibility, and documentation.

An experimental library for metaprogramming with algebraic effects and handlers

Val Town's LSP powered editor. A Codemirror LSP client implementation and LSP proxy and WebSocket server

Claude Code LSP: enhance your Claude Code experience with non-IDE dependent LSP integration.

Language Server integration for CodeMirror 6

A reliable and performant cached directory tree in rust that can notify changes without dropping events

A user-friendly, dependently-typed library for asking your users questions

Remove outdated compilation artefacts left by cabal v2-build

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

Beads - A memory upgrade for your coding agent

Functional choreographic programming in Haskell

The P programming language.

AI-assisted verification of Dafny Programs

Kura is a simple reproduction of the CLIO paper which uses language models to label user behaviour before clustering them based on embeddings recursively. This helps us understand user behaviour on…

Evaluating Program Reasoning of LLMs via Formal Specification Inference (ACL 2025)

Template for TypeScript libraries with sensible defaults.

Zero-dependency, type-safe Stack component for streamlining flexbox usage in React & React Native.

Archived, use https://github.com/LucioFranco/jj-spr instead

Repo-level benchmark for real-world Code Agents: from repo understanding → env setup → incremental dev/bug-fixing → task delivery, with cost-aware α metric.