A x86 Unix-like OS made entirely from scratch

Space invaders clone in python/pygame

Online, interactive edition of the "Simply Logical" Prolog textbook

ESP8266 Projects

Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles

The Foundation project

A compilation of celestial data geojson objects

Code and data for IAU constellation boundaries

A library for building applications in a consistent and understandable way, with composition, testing, and ergonomics in mind.

A Python library for Nasdaq Data Link's RESTful API

Low-level system calls and types for Swift

A fork of Jeelab's fantastic RTC Arduino library

This maintains proposals for changes and user-visible enhancements to the Swift Programming Language.

Async Algorithms for Swift

A workbench for writing toy implementations of distributed systems.

Creating a simple Distributed Actor System in Swift 6 and using it to implement the challenges on https://fly.io/dist-sys/

Next Generation Visual Programming System

Links to Fortran compilers, preprocessors, formatters, static analyzers, transpilers, IDEs, build systems, etc.

Fortran compilers, preprocessors, static analyzers, transpilers, IDEs, build systems, etc.

Highly portable C system library: threads and synchronization primitives, sockets (TCP, UDP, SCTP), IPv4 and IPv6, IPC, hash functions (MD5, SHA-1, SHA-2, SHA-3, GOST), binary trees (RB, AVL) and m…

A collection of example projects using Embedded Swift

A license friendly NGC/IC objects database

🧪 single header unit testing framework for C and C++

A Swift package for astronomy

The most comprehensive collection of accurate astronomical algorithms in (C++, Objective-C and) Swift.

Solving all of this year's AoC challenges in Haskell.

Swift starter project for solving Advent of Code challenges.

Rudimentary Roam replica with Org-mode

Modular visual interface for GDB in Python

Pro Git 2nd Edition