port of s2n-bignum to Lean

Python implementation of block decomposition method for approximating algorithmic complexity

Guide to Markdown Mode for Emacs

Structured Event-Driven Concurrency for Lua

A gentle introduction to Isabelle and Isabelle/HOL

Event handling and 2D graphics for Lua scripts

A knowledge integration framework based on Wikidata

The Lean port of PyDelphin, a library to integrate DELPH-IN toolsets

A HOL-based framework for reasoning over knowledge graphs

ConceptNet datasource for the linked data fragments server (Server.js)

Code for building ConceptNet from raw data.

Java Tableau Workbench

A client for Isabelle server (https://isabelle.in.tum.de)

A Battleship game based on NcLua

LuaGravity is a reactive language that implements the synchronous approach for concurrency.