Pinned Repositories
aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
bashrunner
Run windows applications from Ubuntu on Windows bash
cpython
The Python programming language
dagster
An orchestration platform for the development, production, and observation of data assets.
dotfiles
ipykernel
IPython Kernel for Jupyter
ipython
Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
jsonpickle
Python library for serializing any arbitrary object graph into JSON. It can take almost any Python object and turn the object into JSON. Additionally, it can reconstitute the object back into Python.
UPPAAL2C
Generate C code from an UPPAAL model
VerifiedPacemaker
arieleiz's Repositories
arieleiz/UPPAAL2C
Generate C code from an UPPAAL model
arieleiz/VerifiedPacemaker
arieleiz/aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
arieleiz/bashrunner
Run windows applications from Ubuntu on Windows bash
arieleiz/cpython
The Python programming language
arieleiz/dagster
An orchestration platform for the development, production, and observation of data assets.
arieleiz/dotfiles
arieleiz/ipykernel
IPython Kernel for Jupyter
arieleiz/ipython
Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
arieleiz/jsonpickle
Python library for serializing any arbitrary object graph into JSON. It can take almost any Python object and turn the object into JSON. Additionally, it can reconstitute the object back into Python.
arieleiz/mbed_simulator_win32
arieleiz/PhotoEl2
PhotoElectric expirement simulator
arieleiz/picotcp
PicoTCP is a free TCP/IP stack implementation
arieleiz/PPTProgressMaker
arieleiz/REMIX
Automatic runtime repair of Java false-sharing
arieleiz/slides
arieleiz/pandas
Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more
arieleiz/plotly.py
The interactive graphing library for Python :sparkles: This project now includes Plotly Express!
arieleiz/python-diskcache
Python disk-backed cache (Django-compatible). Faster than Redis and Memcached. Pure-Python.
arieleiz/SmartPulley2
Windows+Arduino based utility for old PASCO SmartPully Photogates
arieleiz/xgboost
Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library, for Python, R, Java, Scala, C++ and more. Runs on single machine, Hadoop, Spark, Dask, Flink and DataFlow