Scott Olson

A safe, concurrent, practical language.

A hobby operating system written in C++14

ooc operating system

A Nix expression for nightly Rust versions

An event driven IRC library for Ruby

A Nix evaluator written in Rust

A stack-based virtual machine written in C

ooc bindings for LLVM

A stack-based language inspired by Factor.

A Ruby on Rails quote database

An experimental non-POSIX-compatible shell.

No description.

NixOS configuration for my systems

LISP in Ruby, Ruby in LISP

operating system written in Clay

A simple demo for dynamically loading a shared library in a loop.

a spry little IRC library

A safe typed programming language compiling with LLVM.

A minimalistic command line todo list.

My configuration files

A simple IRC bot to perform perl-style s/// regex replacements in channels

The Music Graph

A sentence logic evaluator in Ruby using RLTK

A stack-based language on Rubinius

libtcc bindings for Clay

Rust bindings to libedit.

An LLVM-based compiler for a Lisp-like language.

My VIM configuration

The source for an old version of scott-olson.org, using jekyll (static site generator), maruku (markdown), pygments (syntax highlighting), and blahtex (LaTeX math -> PNG)

Panic-aware scope guards for Rust

A simple C-like programming language compiler.

A VM and assembler for a stack-based instruction set.

My website.

A statically typed programming language for scientific computations with first class support for physical dimensions and units

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

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

Nix Packages collection

What Are They Doing? A web app.

Learning OpenGL

An IRC bot in C

Distributed Social Awkwardness Embodiments

A brainfuck interpreter in ruby and sample programs

A Ruby/Cinch IRC bot for rendering LaTeX!

A simple top-down tank game in MonoGame

Android drawing application UI experiment

No description.

Brainfuck interpreter in D

A Brainfuck interpreter in Rust.

An IRC bot that evaluates Frink code using the Frink web interface

libao bindings for Clay

Various projects I use to practice Rust

A little IRC bot to evaluate Frink code using the Frink web interface

A Ruby IRC bot interface to yubnub.com

An IRC bot interface to Bing's translator for many languages and lernu.net's translator for Esperanto.

ooc bindings for the FreeImage graphics library

A Reverse Polish Notation calculator in Ruby

No description.

Error management

htop - an interactive process viewer

Manage a user environment using Nix [maintainer=@rycee]

the champagne of beta embedded databases

A new way to see and navigate directory trees : https://dystroy.org/broot

A secure JavaScript and TypeScript runtime

Proof of 0 = 1 in Arend 1.4

An experimental library for Cubical Agda

The Meson Build System

Qt Base (Core, Gui, Widgets, Network, ...)

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

Advent of Code answers for 2018 in Perl 6

Advent of Code answers for 2018 in Julia

SDL2 bindings for Rust

WLA DX - Yet Another GB-Z80/Z80/6502/65C02/6510/65816/HUC6280/SPC-700 Multi Platform Cross Assembler Package

Lean Theorem Prover

The Julia Language: A fresh approach to technical computing.

Solutions for the Advent of Code in Rust.

Sokoban implemented in Rust, with mouse-based movement support

A cat(1) replacement for humans

My MIRterpreter presentation

No description.

ORCs live here. (ooc Revision Considerations)