Discover projects, groups and snippets. Share your projects with others
The repository for high quality TypeScript type definitions.
Implementing the hybrid control
Code and Files for ACC2020 Paper
IDE and compiler for a family of functorial query languages.
A wrapper for OpenAI gym around IBPSA's BOPTest test cases (https://github.com/ibpsa/project1-boptest).
Archive of work from 2016, moved in from Github
Python library to create production line simulations
Analysis of HVAC systems for better control in Engineering Science Building at Vanderbilt.
PHP library for accessing the Zenodo API
A set of TypeScript typings for active development
A JNA wrapper for nanomsg/nng
Algebraic Concept Modeling Environment