rwe

ohmyzsh

🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

diagrams

:art: Diagram as Code for prototyping cloud system architectures

node-red

Low-code programming for event-driven applications

nix

Nix, the purely functional package manager

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

or-tools

Google's Operations Research tools:

vscode-debug-visualizer

An extension for VS Code that visualizes data during debugging.

roadmap

GitHub public roadmap

dendron

The personal knowledge management (PKM) tool that grows as you do!

shellharden

The corrective bash syntax highlighter

react-chrono

🕑 Modern Timeline Component for React

verona

Research programming language for concurrent ownership

wiwinwlh

What I Wish I Knew When Learning Haskell

hlint

Haskell source code suggestions

makani

Makani was a project to develop a commercial-scale airborne wind turbine, culminating in a flight test of the Makani M600 off the coast of Norway. All Makani software has now been open-sourced. This repository contains the working Makani flight simulator, controller (autopilot), visualizer, and command center flight monitoring tools. Additionally, almost all avionics firmware is also included, albeit potentially not in a buildable state, due to the removal of some third-party proprietary code. We hope that this code will be inspirational and useful to the kite-based windpower and wider communities.

tmux-thumbs

A lightning fast version of tmux-fingers written in Rust, copy/pasting tmux like vimium/vimperator

vscode-haskell

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

cubical

An experimental library for Cubical Agda

ungrammar

CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

co-log

📓 Flexible and configurable modern #Haskell logging framework

agda-mode-vscode

agda-mode on VS Code

what4

Symbolic formula representation and solver interaction library

schmitty

Agda bindings to SMT-LIB2 compatible solvers.

agda-language-server

Language Server for Agda

arrow-core

Λrrow Core is part of Λrrow, a functional companion to Kotlin's Standard Library

UnicodeMathML

JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "playground" allows for experimentation with the syntax and insight into the translation pipeline.

pearl-binary-search

Functional Pearl: Certified Binary Search in a Read-Only Array

agda-github-action

A GitHub action for typechecking Agda code.

actions-hlint-setup

GitHub Action: Set up hlint