cppio Goto Github PK
Name: Parth Shastri
Type: User
Bio: Tell us a little bit about yourself
Blog: https://github.com/cppio
Name: Parth Shastri
Type: User
Bio: Tell us a little bit about yourself
Blog: https://github.com/cppio
0000 discord bot
Agda is a dependently typed programming language / interactive theorem prover.
A cost-aware logical framework, embedded in Agda.
Write-ups for the 2018 CSAW RED Quals
West Windsor-Plainsboro High School Calendar
A Python debugger
Function hooking for x86 in Rust.
ANSI escape codes in Python
The ioquake3 community effort to continue supporting/developing id's Quake III Arena
A keyboard tester
Lean 4 programming language and theorem prover
Work in progress mathlib port for lean 4
Analyzes scanned multiple choice exams through Optical Character Recognition.
Write-ups for the picoCTF 2018 Competition
A Plugin that includes a Large Text widget for Shuffleboard
A Priority List Plugin for Shuffleboard
A simple program using SDL in c++ as an example.
A UEFI Application that hooks SetVariable to allow a user-space program to access kernel memory.
Units and Values, including conversions, in Python
SCTP user-land implementation (usrsctp) bindings for Rust
Web Browser telnet that uses hterm and websockify
CMake Toolchain to use MSVC from WSL
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.