The Haskell performance checklist

Chez Scheme self hosting executable

A blazingly fast LSP client for Emacs

SML# compiler

A Parser Combinator library for C

PeachPie - the PHP compiler and runtime for .NET and .NET Core

Emacs Lisp Static Analyzer and gradual type system.

A safe, easy systems language

A library for incremental computations

Code::Stats for Micro Editor

A collection of Nix expressions for common Ada libraries and applications

Text describing xv6 on RISC-V

HTML5 Wayland compositor 🌱

The purpose of this repository is to automatically build the most up-to-date version of jellyfin-tizen.

(not ready yet) image editor in rust

WIP COSMIC PDF reader

A small unix-like kernel and OS components based around the Shard programming language.

A cross-platform, safe, pure-Rust graphics API.

Digital logic design tool and simulator

Ocaml mode for emacs using treesitter

Empowering everyone to host fast and efficient Minecraft servers.

A library for building fast, reliable and evolvable network services.

OCaml major mode using tree-sitter

Nyan Cat for Emacs! Nyanyanyanyanyanyanyanyanyan!

A simple, lightweight library for ANSI styling.

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

Parsing all context-free grammars using Earley's algorithm in Haskell.

A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)

Yet another modal editing on Emacs / 猫态编辑

Tree-sitter powered 🌳 motions for Meow 🐱