The simplest task management system with the most advanced features

PostgreSQL zero-downtime migrations made easy

Dafny is a verification-aware programming language

Facebook AI Research Sequence-to-Sequence Toolkit written in Python.

Minimal, self-hosted, 0-config alternative to ngrok. Caddy+OpenSSH+50 lines of Python.

Bringing simple and powerful navigation tools to all Swift platforms, inspired by SwiftUI.

An incremental parsing system for programming tools

The source to http://tom.counsell.org

Hosting read-only SQLite databases on static file hosters like Github Pages

Instant Upgrades and Automated Refactoring of any PHP 5.3+ code

A light wrapper around rr, the time-travelling debugger

Dolt – Git for Data

Ruby's bikeshed-proof linter and formatter 🚲

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

A tool for thinking in systems

Meridian is a web server written in Swift that lets you write your endpoints in a declarative way.

🦀 Small exercises to get you used to reading and writing Rust code!

Swift client-server tool to call xcrun simctl from your simulator. Automate push notification testing!

Underlying SEIR simulator for the YYG / covid19-projections.com model

GitHub public roadmap

A pure PHP library for reading and writing spreadsheet files

Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.

Parse command line arguments by defining a struct.

iOS Notes style rich text formatting for UITextView using NSAttributedString

Swift implementation of AWS Lambda Runtime

Easy regression testing for iOS accessibility

Declarative pure-SQL schema management for MySQL and MariaDB

Swift Ultralight Dependency Injection / Service Locator framework

Tiny http server engine written in Swift programming language.

Robust and type-safe date and time calculations for Swift