alexporter8013 Goto Github PK
Name: Alex Porter
Type: User
Name: Alex Porter
Type: User
Dafny is a verification-aware programming language
Implementation of Redis in python. fully compatible with using redis-py.
First repo for playing around
HDF5 for Python -- The h5py package is a Pythonic interface to the HDF5 binary data format.
Data logger using rust and hdf5
Instrument control in Julia
Simple library for condensing many keyword arguments into a single dataclass.
Example project for integrating Dafny into a Python project
Python implementation of the exercises in the book Mazes for Programmers by Jamis Buck
National Instruments Data Acquisition Interface
PyZMQ: Python bindings for zeromq
My personal attempt of binding rust to hdf5
Time series toolkit for Julia
Python RPC library designed for integration into existing servers
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+
Basic oscilloscope style waveform analysis for time-series data
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.