solson

oos

ooc operating system

rust-nightly-nix

A Nix expression for nightly Rust versions

nixrs

A Nix evaluator written in Rust

etc-nixos

NixOS configuration for my systems

deno-bus

dotfiles

My configuration files

1lab

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

Advent2018

Advent of Code answers for 2018 in Julia

Advent2018-perl6

Advent of Code answers for 2018 in Perl 6

aoc

Solutions for the Advent of Code in Rust.

arend-zero-eq-one

Proof of 0 = 1 in Arend 1.4

ariake-dark

broot

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

cubical

An experimental library for Cubical Agda

deno

A secure JavaScript and TypeScript runtime

failure

Error management

home-manager

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

htop

htop - an interactive process viewer

julia

The Julia Language: A fresh approach to technical computing.

lean

Lean Theorem Prover

meson

The Meson Build System

nixpkgs

Nix Packages collection

qtbase

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

redtt

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

rsokoban

Sokoban implemented in Rust, with mouse-based movement support

rust

A safe, concurrent, practical language.

rust-sdl2

SDL2 bindings for Rust

sled

the champagne of beta embedded databases

swift-evolution

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

wla-dx

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