slivingston

slivingston's Stars

• matplotlib/matplotlib

  matplotlib: plotting with Python

  Language:Python20.5k59510.6k7.7k

• xtermjs/xterm.js

  A terminal for the web

  Language:TypeScript18k1982.5k1.6k

• cython/cython

  The most widely used Python to C compiler

  Language:Python9.7k2403.8k1.5k

• serde-rs/serde

  Serialization framework for Rust

  Language:Rust9.3k741.8k789

• serde-rs/json

  Strongly typed JSON library for Rust

  Language:Rust5k38742565

• westes/flex

  The Fast Lexical Analyzer - scanner generator for lexing in C and C++

  Language:C3.7k90330545

• buserror/simavr

  simavr is a lean, mean and hackable AVR simulator for linux & OSX

  Language:C1.6k73212371

• sfackler/rust-openssl

  OpenSSL bindings for Rust

  Language:Rust1.4k281k760

• cvxopt/cvxopt

  CVXOPT -- Python Software for Convex Optimization

  Language:C99740188208

• helium/HIP

  Helium Improvement Proposals

  Language:Jupyter Notebook585121220407

• nimble-code/Cobra

  An interactive (fast) static source code analyzer

  Language:C142126132

• tier4/safe_drive

  safe_drive: Formally Specified Rust Bindings for ROS2

  Language:Rust10553613

• helium/mappers

  Mappers Frontend and API

  Language:Elixir70316526

• helium/wallet-app

  Language:TypeScript601827937

• SLICOT/SLICOT-Reference

  SLICOT - A Fortran subroutines library for systems and control

  Language:Fortran50121723

• nimble-code/Modex

  a model extractor, to automatically extract Spin verification models from multi-threaded C code

  Language:C202114

• jgraeb/AutoValetParking

  Language:Python18706

• johnyf/astutils

  Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.

  Language:Python15502

• johnyf/promela

  Promela parser using PLY (Python lex-yacc)

  Language:Python9207

• cmubig/SafeShift

  Language:Python8213

• EricssonResearch/Robust-Tracking-MPC-over-Lossy-Networks

  Language:Python8600

• nasa/muscat

  Language:MATLAB5203

• slivingston/btsynth

  Language:Python4200

• abadithela/Flow-Constraints

  A module to generate constrained test environments that leverage flow algorithms.

  Language:Python3200

• cddlib/polyhedral_faq

  sources for Polyhedral Computation FAQ: https://cddlib.github.io/polyhedral_faq/

  Language:TeX3410

• pacti-org/cs-space-mission

  Language:Python2201

• python-control/SLICOT-Reference

  SLICOT - A Fortran subroutines library for systems and control

  Language:Fortran1201

• rerobots/rs

  Rust client library for the rerobots API

  Language:Rust1

• rerobots/simboard

  Language:C1

• tulip-control/floras

  Flow-based Reactive Test Synthesis for Autonomous Systems

  Language:Python1413