SWI-Prolog Main development repository

J engine source mirror

CLOG - The Common Lisp Omnificent GUI

Programming library for Agda

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Puffer is a free live TV streaming website and a research study at Stanford using machine learning to improve video streaming

Emits code crossreference data for Haskell sources.