Pinned Repositories
dafny
Dafny is a verification-aware programming language
fakeredis-py
Implementation of Redis in python. fully compatible with using redis-py.
fuzzy-succotash
First repo for playing around
h5py
HDF5 for Python -- The h5py package is a Pythonic interface to the HDF5 binary data format.
hdf5-sys
hdf5_datalogger
Data logger using rust and hdf5
Instruments.jl
Instrument control in Julia
kwarguclass
Simple library for condensing many keyword arguments into a single dataclass.
lorrel-py
Example project for integrating Dafny into a Python project
WaveformAnalysis.jl
Basic oscilloscope style waveform analysis for time-series data
alexporter8013's Repositories
alexporter8013/WaveformAnalysis.jl
Basic oscilloscope style waveform analysis for time-series data
alexporter8013/dafny
Dafny is a verification-aware programming language
alexporter8013/fakeredis-py
Implementation of Redis in python. fully compatible with using redis-py.
alexporter8013/fuzzy-succotash
First repo for playing around
alexporter8013/h5py
HDF5 for Python -- The h5py package is a Pythonic interface to the HDF5 binary data format.
alexporter8013/hdf5-sys
alexporter8013/hdf5_datalogger
Data logger using rust and hdf5
alexporter8013/Instruments.jl
Instrument control in Julia
alexporter8013/kwarguclass
Simple library for condensing many keyword arguments into a single dataclass.
alexporter8013/lorrel-py
Example project for integrating Dafny into a Python project
alexporter8013/mazes4prog
Python implementation of the exercises in the book Mazes for Programmers by Jamis Buck
alexporter8013/NIDAQ.jl
National Instruments Data Acquisition Interface
alexporter8013/pyconstfig
alexporter8013/pyzmq
PyZMQ: Python bindings for zeromq
alexporter8013/rust_hdf5
My personal attempt of binding rust to hdf5
alexporter8013/TimeSeries.jl
Time series toolkit for Julia
alexporter8013/tinierrpc
Python RPC library designed for integration into existing servers
alexporter8013/warzone2100
Command the forces of The Project in a battle to rebuild the world after mankind has been nearly destroyed by nuclear missiles. A 100% free and open source real-time strategy game for Windows, macOS, Linux, BSD+