Free online structural analysis tool for beams and trusses. Edubeam lets you create and solve 2D structures directly in your browser — no installation required. Instantly generate bending moment di…

ai flashcards for words memoization

The Deadlock Empire: Slay dragons, learn concurrency!

DOSBox-X fork of the DOSBox project

Integrate Dart Sass with Sprockets (Ruby on Rails asset pipeline)

A personal experimental C++ Syntax 2 -> Syntax 1 compiler

📇 Synchronize calendars and contacts.

📆 CLI calendar application

Transparent bidirectional bridge between Git and Mercurial for Git

A useful overview and reference to the IRC client protocol as it is implemented today.

IRCv3 specifications | Roadmap: https://git.io/IRCv3-Roadmap | Code of conduct: http://ircv3.net/conduct.html

A tool for use with clang to analyze #includes in C and C++ source files

A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev

A Flash Player emulator written in Rust

OpenNebula contextualization scripts for Alpine Linux and Gentoo

Websockify is a WebSocket to TCP proxy/bridge. This allows a browser to connect to any application/server/service.

[MIRROR] Official Gentoo ebuild repository

Guidelines for low-level cryptography software

Ghidra is a software reverse engineering (SRE) framework

HTML5 arcade game showing Particle Swarm Optimization.

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

Master the command line, in one page

uMatrix: Point and click matrix to filter net requests according to source, destination and type

A TLA+ guide

Open-source engine for Heroes of Might and Magic III

Get the latest release stats of your project on Github

A collection of TLA⁺ specifications of varying complexities.

Dr. TLA+ series - learn an algorithm and protocol, study a specification

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Personal svn clone of The SWORD project