Goal weakening for propositional logic specifications

TLA+ Foundation

Export NetworkX graphs to TikZ directly

Library of 40+ independent Lua modules improving overall Neovim (version 0.8 and higher) experience with minimal effort

Raku Slang::Date module to add literal dates

Record history of your ActiveRecord models via append-only tables

Various AutoHotkey scripts I've made

Copies of my 'Script Center' and 'Technet Gallery' publications

Chess-related stuff in raku

Jsons.ahk for AHKv2, the lazy man's Json. Handles and converts objects and classes. Also functions as obj -> str converter.

lightweight property graph as javascript module

Network Analysis in Python

🕵️‍♂️ Collect a dossier on a person by username from thousands of sites

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

RGL is a framework for graph data structures and algorithms in Ruby.

A directed multi-graph library for JavaScript

Build, process and analyze graphs in JavaScript (port of NetworkX)

Enhancements on original WindowPad (by Lexikos)

A collection of postmortems. Sorry for the delay in merging PRs!

The rule-based graph programming language GP 2

A tiny JSON parser and emitter for Perl 6 on Rakudo

Grammar::Common, a library of handy grammar bits

Many examples of Raku code

Space exploration, trading, and combat game.

Specifying and Verifying CRDT Protocols using TLA+

The Raku utility library

My unofficial picat http://picat-lang.org/ repository

Demo Orchard Core CMS and Orchard 1.x module for for you to become an Orchard developer. This module completes the training materials under https://orcharddojo.net.

A static web application to explore and animate a TLA+ state graph.