Access scientific literature in your browser using standard template construct, an IPFS-backed website for nexus search.

Convert Haskell source code to Coq source code.

Haskell to JavaScript compiler, based on GHC

A framework for building symbolic, homoiconic languages.

A language to demonstrate embedded pattern matching

A lexical analyser generator for Haskell

A Java parser combinator library written with an unmatched feature set.

Persistence interface for Haskell allowing multiple storage methods.

Nix Packages collection & NixOS

Typescript transformer to unlock automatic mock creation for interfaces and classes

Haskell bindings to GLUT

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

Powerful, efficient particle trajectory analysis in scientific Python.

Lean 3 Theorem Prover (community fork)

A demo web browser engine written in Haskell

GNOME Mastermind

DOM Standard

DuckDB is an analytical in-process SQL database management system

Haskell Gamedev Toolkit, a library for developing games from scratch.

⚡ The fastest JS validator library for NodeJS

Simple test suite for various tokenizers

✅ Painless Vue forms

Godot Engine – Multi-platform 2D and 3D game engine

✏️ A React Hook for building elegant input masks. Compatible with React Hook Form.

Build forms in React, without the tears 😭

VS Code extension for Haskell, powered by haskell-language-server

(Work in progress) React documentation website in Sinhala

Haskell Documentation Tool

Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl