Static security for database-backed Haskell applications using Liquid Haskell

Zero Abstraction Cost Styling ⚡️👨‍🎨 (for React DOM & React Native)

🍉 Reactive & asynchronous database for powerful React and React Native apps ⚡️

A central repository for sharing type definitions for Ruby gems

a social algorithm for computing cred

A central repository for Flow library definitions

List the file locations involved in a diff

The hacker's browser.

Adds static typing to JavaScript to improve developer productivity and code quality.

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

Liquid Types For Haskell

Caveat Emptor !!!

My personal collection of configuration files.

Workshop on how to use Vim Plugins.