Skip to content
View crides's full-sized avatar
45 followers · 5 following

Sponsoring

@wez
@The-Compiler

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Starstruckx2Achievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Starstruckx2Achievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Organizations

@BHelec

Block or report crides

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

👋 Hi, I'm Steven, currently a Master's student in CS at University of Illinois. I develop several open source projects in my free time.

My current work/projects can be roughly split into 3 categories:

  • Software Verification: This is the main topic of my Master's program, and I along with my colleagues developed verse for verifying decision logic in hybrid systems. I've also started to learn about ITPs like Coq and maybe there'll be projects from there.
  • Human Input devices: I have my custom keyboards, for at-home use (fissure) and portable use (fusion). These are still mostly keyboards, but I'm slowly integrating pointing device into them. I've also developed the first open sourced embedded stenography engine Kolibri, and related stenography keyboards, both of which are in the steno repo. There are also custom keycaps (sqdg) and PCB libraries (kleeb).
  • Human automation: projects for (attempting to) automating and improving efficiency of my life. The main project is sched, which aims to automate task/event scheduling. On the side there are zeub and larm which try to provide an interface for automation.

Pinned Loading

  1. steno steno Public

    Embedded steno firmware + custom steno PCBs

    C 70 8

  2. fissure fissure Public

    A 46/36/40 key split keyboard

    C 57 7

  3. kleeb kleeb Public

    Collection of Kicad 6.0 symbols, footprints and 3D models useful in keyboard creation

    Python 192 12

  4. fusion fusion Public

    A folded minimally spaced choc mini (PG1232) keyboard for traveling

    Python 63 1

  5. sqdg sqdg Public

    Shoggot's SQDG but in CadQuery

    Python 20 2

  6. AutoVerse-ai/Verse-library AutoVerse-ai/Verse-library Public

    Library for modeling, simulation, and verification of interacting autonomous agents

    Jupyter Notebook 29 18