Skip to content
View costowell's full-sized avatar
5 followers · 7 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Quickdraw

Block or report costowell

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
costowell/README.md

I'm Cole 👋

🔭 I'm currently working on...

  • Theorem Prover - Currently SAT solver, adding ability to verify logical statements about linear equations
  • Dyno - An LED control system which leverages dynamic loading modules as shared objects
  • Samaritan - My Dell Poweredge R720 running NixOS (if this is ever removed from this section, it has blown up)

🛠️ I'm currently maintaining...

  • Auto Drink Admin - An ATM which turns real money into drink credits for CSH's networked drink machines!

🌟 I'm very proud of...

  • My contribution to the Linux kernel! - Wasn't a complicated fix, but was a really fun and educational exercise in debugging which connected my understanding of how input is handled from userspace to the kernel and hardware.

Pinned Loading

  1. theorem-prover theorem-prover Public

    Verify equation truth using a custom logical language

    Rust

  2. dynamic-loading dynamic-loading Public

    Messing with dynamic loading, possibly gonna make into a invidiually addressable LED controlling system

    C

  3. ADA ADA Public

    Auto Drink Admin (ADA) is an ATM for the Computer Science House's networked vending machines

    Rust

  4. ComputerScienceHouse/quotefault-backend ComputerScienceHouse/quotefault-backend Public

    Rewriting the quotefault backend in 🚀 blazing 🚀 fast 🚀 and 🚀 memory safe 🚀 rust 🚀

    Rust 1 3

  5. nixos-presentation nixos-presentation Public

    A Nix/NixOS presentation I cooked up for a technical seminar at the Computer Science House

    Nix 2

  6. espnow-connection espnow-connection Public

    Trying to establish a connection between two esp32s

    Rust