A Low Barrier Proof Assistant

Neovim plugin for interacting with LLM's and building editor integrated prompts.

Parser Combinator Library for Lean 4

A Lean4 plugin for the Intellij Platform

Nix deployment definitions

Concur UI Framework for Purescript

Generative (property) testing, from python annotations.

A plugin for Apache Airflow that allows you to edit DAGs in browser

“The Tie Between Ruby and Rust.”

A redux compatible data store with the power of indexing!

Mac OS X 通俗廣東話輸入法. Cantonese input for Mac OSX.

cjs's documentation and notes related to systems engineering

Build JSON API-compliant APIs on Rails with no (or less) learning curve.

Manage your macOS using Nix

Turn any program that uses STDIN/STDOUT into a WebSocket server. Like inetd, but for WebSockets.

Haskell plugin for IntelliJ IDEA

A GHC-based Haskell to JavaScript compiler

A special-purpose UI library for Purescript

⚡️ A practical standard library for PureScript.

Lightweight Swift Dependency Injection Framework

The minimalistic but powerful, modular, functional reactive programming library in JavaScript.

Headless automation for Internet Explorer

Rx functional interface to Facebook's React

A JS library for predictable global state management

Node.js binding for lmdb

Simple and elegant component-based UI library

Atomic web development - Combining the power of npm, Browserify, Rework and more to build small, fully encapsulated client side modules

Fixes for orphaned processes and clobbered paths

An extension of lookup multiple sites for Google Chrome