Scalpel: The Python Static Analysis Framework

BNF wrangling and railroad diagrams

A simple library for reporting compiler/interpreter errors

Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.

A ready-to-fork interpreted functional language with type inference

🐸 Identify anything. pyWhat easily lets you identify emails, IP addresses, and more. Feed it a .pcap file or some text and it'll tell you what it is! 🧙‍♀️

Docker Official Image packaging for Python

SSA vs ANF

For when people get too hyped up about things

Introduction to the Coq proof assistant

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Haskell Functional Reactive Programming framework with type-level clocks

Haskell Stack support for Heroku

A low-feature Haskell package for Sublime Text

Wind power visualization with WebGL particles

haskell source code formatter

Swift Diff

Convert HTML to PDF using Webkit (QtWebKit) on AWS Lambda

Turns any select tag into an autocomplete field with weighted options, synonyms and loose matching

Haskell PostgreSQL library with compile-time type inference

A collection of resources for learning type theory and type theory adjacent fields.

bsdiff and bspatch are libraries for building and applying patches to binary files.

A lightweight but deprecated LaTeX Plugin for Sublime Text 3

Category theory applied to functional programming (undergraduate project)

The #1 HTTP server for iOS, macOS & tvOS (also includes web based uploader & WebDAV server)

ShaderToy(https://www.shadertoy.com/) shader run on iOS

A suite containing many tools to display progress information on iOS.