tidues Goto Github PK
Type: User
Bio: Simple Group of Order Two
Type: User
Bio: Simple Group of Order Two
Proofs for MTH 519 Abstract Algebra
Proved a group theory result with coq
Read files from a folder then combine different data into different files
Package for calculating and visualizing statistics for the distance between two random events on a network
Package for calculating and visualizing statistics for the distance between two random events on a network
Prove Einstein's puzzle by coq, and prolog.
An generalized version of map function in python, can lift basic function over various data structures.
A subsetting and slicing tool for nested mixed containers with arbitrary dimension in Haskell
Material for the UB INFORMS workshop "intro to linux server"
preload tools for easy coding
preload tools for easy coding
The 2nd version of distance distribution calculator
The python package for calculating and visualizing distance related statistics between two random events on a given network
A simple stopwatch to time your python code
An interface of Gurobi that supports all numpy array operations.
🖥 Active space menu bar icon for macOS 10.11+
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Contributed modules for xmonad
A tiling window manager for macOS based on binary space partitioning
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.