Skip to content
View bell-kevin's full-sized avatar
27 followers · 0 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx4Achievement: Public SponsorAchievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx4Achievement: Public SponsorAchievement: YOLOAchievement: Quickdraw

Highlights

Block or report bell-kevin

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
bell-kevin/README.md

Software Engineer @ United States Department of War

Master's Degree in Computer Science

  • Looking to collaborate on almost anything open-source
  • Working on my machine-learning home-cloud server using Ubuntu Server, Nextcloud, & Tailscale VPN

I love free/libre open-source software! Most JavaScript running on most websites (including GitHub.com) is NOT open-source software.

Pinned Loading

  1. plimsoll plimsoll Public

    You write relations between quantities with units, and ranges instead of numbers. Relations run in every direction — constrain an output and the inputs narrow. The demo that sells it: in examples/d…

    F#

  2. groma groma Public

    CPT-based liquefaction triggering, in a browser tab, with nothing installed and nothing uploaded. Implements Boulanger & Idriss (2014), CPT and SPT based liquefaction triggering procedures. Paste a…

    Rust

  3. fortuna fortuna Public

    A Monte Carlo personal-finance forecaster. Answer questions like "will my money last?" and "how much can I safely spend in retirement?" by simulating 10,000 market futures in ~120 ms on a dashboard

    Fortran 1

  4. lapse lapse Public

    Everyone has lost work to a bad save, an overzealous rm, or a script that clobbered the wrong directory. Git solves this for programmers who remember to commit. Lapse solves it for everything else …

    C++

  5. flashChat flashChat Public

    A tiny, anonymous chat page for DeepSeek V4 Flash 0731 with reasoning enabled at maximum effort. There are no accounts, registrations, app-set cookies, analytics, or database records. Conversation …

    JavaScript

  6. BDD-CTL-model-checker BDD-CTL-model-checker Public

    Computation Tree Logic (CTL) model checker that represents state sets symbolically using Binary Decision Diagrams (BDDs)

    C