Skip to content
View solson's full-sized avatar
208 followers · 13 following
  • Canada/Ireland
  • 09:05 (UTC +01:00)

Sponsoring

@DianaNites

Achievements

Achievement: Starstruckx4Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Starstruckx4Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@NixOS @rust-lang
Block or Report

Block or report solson

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • nixpkgs Public

    Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix MIT License Updated Oct 7, 2023

  • 1lab Public

    Forked from plt-amy/1lab

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

    Agda GNU Affero General Public License v3.0 Updated Mar 30, 2023

  • swift-evolution Public

    Forked from swiftlang/swift-evolution

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

    Markdown Apache License 2.0 Updated Apr 10, 2022

  • htop Public

    Forked from htop-dev/htop

    htop - an interactive process viewer

    C GNU General Public License v2.0 Updated Jul 15, 2021

  • dotfiles Public archive

    My configuration files

    Shell 2 Updated Jul 5, 2021

  • etc-nixos Public

    NixOS configuration for my systems

    Nix 3 3 Updated Jun 19, 2021

  • deno-bus Public

    TypeScript 3 Updated Jun 12, 2021

  • oos Public archive

    ooc operating system

    ooc 41 6 MIT License Updated May 24, 2021

  • home-manager Public

    Forked from nix-community/home-manager

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

    Nix MIT License Updated May 21, 2021

  • deno Public

    Forked from denoland/deno

    A secure JavaScript and TypeScript runtime

    TypeScript MIT License Updated Apr 8, 2021

  • sled Public

    Forked from spacejam/sled

    the champagne of beta embedded databases

    Rust Apache License 2.0 Updated Nov 11, 2020

  • rust Public

    Forked from rust-lang/rust

    A safe, concurrent, practical language.

    Rust Other Updated Nov 1, 2020

  • broot Public

    Forked from Canop/broot

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

    Rust MIT License Updated Oct 10, 2020

  • failure Public

    Forked from rust-lang-deprecated/failure

    Error management

    Rust Apache License 2.0 Updated Sep 14, 2020

  • arend-zero-eq-one Public

    Proof of 0 = 1 in Arend 1.4

    Updated Jul 9, 2020

  • cubical Public

    Forked from agda/cubical

    An experimental library for Cubical Agda

    Agda MIT License Updated Jun 29, 2020

  • nixrs Public

    A Nix evaluator written in Rust

    Rust 12 1 MIT License Updated Feb 9, 2020

  • rust-nightly-nix Public archive

    A Nix expression for nightly Rust versions

    Nix 40 7 Apache License 2.0 Updated Aug 14, 2019

  • meson Public

    Forked from mesonbuild/meson

    The Meson Build System

    Python Apache License 2.0 Updated Jul 15, 2019

  • qtbase Public

    Forked from qt/qtbase

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

    C++ Other Updated Jun 25, 2019

  • redtt Public

    Forked from RedPRL/redtt

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

    OCaml Apache License 2.0 Updated Apr 22, 2019

  • rsokoban Public

    Sokoban implemented in Rust, with mouse-based movement support

    Rust Updated Mar 26, 2019

  • Advent2018-perl6 Public

    Advent of Code answers for 2018 in Perl 6

    Perl 6 Updated Mar 26, 2019

  • Advent2018 Public

    Advent of Code answers for 2018 in Julia

    Julia Updated Mar 26, 2019

  • ariake-dark Public

    Forked from a-wart/ariake-dark
    Updated Mar 19, 2019

  • rust-sdl2 Public

    Forked from Rust-SDL2/rust-sdl2

    SDL2 bindings for Rust

    C MIT License Updated Mar 10, 2019

  • lean Public

    Forked from leanprover/lean3

    Lean Theorem Prover

    C++ Apache License 2.0 Updated Feb 14, 2019

  • wla-dx Public

    Forked from vhelin/wla-dx

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

    C GNU General Public License v2.0 Updated Feb 7, 2019

  • julia Public

    Forked from JuliaLang/julia

    The Julia Language: A fresh approach to technical computing.

    Julia Other Updated Aug 16, 2018

  • aoc Public

    Solutions for the Advent of Code in Rust.

    Rust ISC License Updated Dec 2, 2016