Utility to download Live Photos from OneDrive, backed up by iOS OneDrive app

OCaml - Oxidized!

Type inference for SK-combinators

Algorithmic Information Theory, using Binary Lambda Calculus

Proofs in Coq for the book Reflective Programs in Tree Calculus

The WebAssembly Binary Toolkit

A language to write safe code quickly

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

Dex to Java decompiler

A songbook about IT and computer science

3d engine implementation in DNA code!

An efficient X86-64 virtual machine runs in modern browsers.

Node version management

ADL Generator for AutoRest

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)

A system for quickly generating training data with weak supervision

Coq Support for Visual Studio Code

Gradual verification

The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes