Ailrun

shoelace

A collection of professionally designed, every day UI components built on Web standards. SHOELACE IS BECOMING WEB AWESOME 👇👇👇

Kripke-style

ogma

pl-wiki

tools

Unified developer tools for JavaScript, TypeScript, and the web

scott

Selected Papers of Dana S. Scott

okapi

A data-driven micro web framework for Haskell

type-reflection

Support functions to work with GHC's Type.Reflection, including pretty-printing.

pldb

PLDB: a Programming Language DataBase

dr-cabal

📊 Haskell dependencies build times profiler

nbe-in-java-19

a throwaway implementation of normalization by evaluation

lambda2wasm

A Lambda expression compiler targeting web assembly.

awesome-coq

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

tie

Tie allows generation of Haskell server stubs from OpenAPI (v 3.x) specifications.

error-messages

git-branchless

High-velocity, monorepo-scale workflow for Git

ukraine-timemap

TimeMap instance for Civilian Harm in Ukraine

plt

Programming Language Theory λΠ

linear-base

Standard library for linear types in Haskell.

HVM

A massively parallel, optimal functional runtime in Rust

stylish-haskell

Haskell code prettifier

ghcjs

Haskell to JavaScript compiler, based on GHC

asterius

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

swarm

Resource gathering + programming game

constraint-rules

Extend GHC's type checker with user-defined rules, without writing a type checker plugin.

DschingisKhan

He Reiter, Ho Reiter, He Reiter, Immer weiter!

triangula

Generate high-quality triangulated and polygonal art from images.

discord-eval

A discord frontend for an interactive interpreter bot

k-playground

for implementing toy languages using the K Framework