Skip to content
View npe9's full-sized avatar
70 followers · 272 following
  • Draper Laboratories
  • Cambridge Massachusetts
  • 11:35 (UTC -12:00)

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@NimbleSM

Block or report npe9

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

Stars

7 stars written in Java
Clear filter

ge-high-assurance / VERDICT

DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

Java 48 14 Updated Aug 22, 2024

NetCal / DNC

The NetworkCalculus.org Deterministic Network Calculator

Java 32 23 Updated Jun 11, 2023

motib / jspin

GUI for running the SPIN model checker

Java 20 12 Updated Nov 22, 2022

mbhushan / dynpro

Dynamic Programming Repository - From Basics to Absolute Magic.

Java 19 3 Updated Oct 8, 2016

pluckyporcupine / fortress

An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.

Java 16 5 Updated May 30, 2022

li--paul / seda

Stage-Event Driven Architecture from CVS

Java 1 Updated Sep 13, 2013

sirinath / fortress

Java 1 3 Updated Oct 17, 2016