Stars
A repository of trees defined and maintained using the LambAda ecosystem.
Inferno® is a distributed operating system. Inferno represents services and resources in a file-like name hierarchy, including devices, network and protocol interfaces, dynamic data sources, and se…
A fast combinator graph reduction engine for triage calculus, a variant of tree calculus, written in Rust.
Utility to download Live Photos from OneDrive, backed up by iOS OneDrive app
Algorithmic Information Theory, using Binary Lambda Calculus
Proofs in Coq for the book Reflective Programs in Tree Calculus
FunctionalScript is a safe purely functional subset of JavaScript
This tool uses OpenCV to automatically synchronize slides with videos that show these slides.
hexdump for Visual Studio Code
Issue tracking and documentation for Microsoft's vcpkg-ce acquisition tool.
Yahoo Finance historical quotes and snapshot data downloader written in Node.js
An updated version of the classic "Basic Computer Games" book, with well-written examples in a variety of common MEMORY SAFE, SCRIPTING programming languages. See https://coding-horror.github.io/ba…
offer translation for tagged templates in TypeScript
A songbook about IT and computer science
An efficient X86-64 virtual machine runs in modern browsers.
Clojure implementation of exact arithmetic for computable numbers on the Stern–Brocot tree
FTP client for Node.js, supports FTPS over TLS, passive mode over IPv6, async/await, and Typescript.
Cool links & research papers related to Machine Learning applied to source code (MLonCode)