Skip to content
View enshankar's full-sized avatar
18 followers · 1 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Organizations

@SRI-CSL

Block or report enshankar

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

Showing results

SRI-CSL / radler

Radler

Python 11 8 Updated Apr 30, 2025

SRI-CSL / parsley-lang

Parsley format definition language

OCaml 6 1 Updated Jan 12, 2024

SRI-CSL / arsenal-base

Python 9 5 Updated Feb 29, 2024

SRI-CSL / Trinity-TrojAI

This repository contains code developed by the SRI team for the IARPA/TrojAI program.

Python 21 5 Updated Jul 1, 2021

nasa / vscode-pvs

LAR-19642-1: Visual Studio Code Extension for PVS

TypeScript 53 16 Updated May 29, 2026

hysios / coronavirus

2019 nCoV realtime track system based Scrapy + influxdb + grafana + NLTK + Stanford CoreNLP

Python 60 8 Updated Dec 8, 2022

SRI-CSL / secure_ros

Secure ROS

Python 7 5 Updated Feb 4, 2020

SRI-CSL / OCCAM

Forked from ashish-gehani/OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization

C++ 27 10 Updated Jun 22, 2023

SRI-CSL / PVS

The People's Verification System

Common Lisp 178 37 Updated Jun 21, 2026

SRI-CSL / sally

SRI Sally: A model checker for infinite-state systems.

C++ 78 15 Updated Jul 31, 2025

SRI-CSL / yices2

SRI Yices SMT Solver

SMT 464 64 Updated Jun 17, 2026

jlevy / the-art-of-command-line

Master the command line, in one page

161,414 14,825 Updated Jun 25, 2024