Skip to content
View alexporter8013's full-sized avatar
1 follower · 3 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Shark
Block or Report

Block or report alexporter8013

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • lorrel-py Public

    Example project for integrating Dafny into a Python project

    Python MIT License Updated Apr 22, 2024

  • dafny Public

    Forked from dafny-lang/dafny

    Dafny is a verification-aware programming language

    C# Other Updated Mar 21, 2024

  • fakeredis-py Public

    Forked from cunla/fakeredis-py

    Implementation of Redis in python. fully compatible with using redis-py.

    Python BSD 3-Clause "New" or "Revised" License Updated May 18, 2023

  • kwarguclass Public

    Simple library for condensing many keyword arguments into a single dataclass.

    Python MIT License Updated Jan 9, 2023

  • pyconstfig Public

    Python Updated Nov 18, 2022

  • h5py Public

    Forked from h5py/h5py

    HDF5 for Python -- The h5py package is a Pythonic interface to the HDF5 binary data format.

    Python BSD 3-Clause "New" or "Revised" License Updated Jun 1, 2022

  • mazes4prog Public

    Python implementation of the exercises in the book Mazes for Programmers by Jamis Buck

    Python MIT License Updated Dec 31, 2021

  • warzone2100 Public

    Forked from Warzone2100/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, macO…

    C++ GNU General Public License v2.0 Updated Oct 19, 2021

  • tinierrpc Public

    Python RPC library designed for integration into existing servers

    The Unlicense Updated Oct 23, 2020

  • pyzmq Public

    Forked from zeromq/pyzmq

    PyZMQ: Python bindings for zeromq

    Python Other Updated Jul 11, 2019

  • NIDAQ.jl Public

    Forked from JaneliaSciComp/NIDAQ.jl

    National Instruments Data Acquisition Interface

    C++ Other Updated Apr 8, 2019

  • WaveformAnalysis.jl Public

    Basic oscilloscope style waveform analysis for time-series data

    Julia 1 GNU General Public License v3.0 Updated Apr 3, 2019

  • Instruments.jl Public

    Forked from BBN-Q/Instruments.jl

    Instrument control in Julia

    Julia Other Updated Apr 2, 2019

  • TimeSeries.jl Public

    Forked from JuliaStats/TimeSeries.jl

    Time series toolkit for Julia

    Julia Other Updated Feb 13, 2019

  • hdf5_datalogger Public

    Data logger using rust and hdf5

    Rust GNU General Public License v3.0 Updated Feb 7, 2019

  • hdf5-sys Public

    Rust Updated Feb 6, 2019

  • rust_hdf5 Public

    My personal attempt of binding rust to hdf5

    Rust Updated Feb 5, 2019

  • fuzzy-succotash Public

    First repo for playing around

    Updated Feb 1, 2019