aa755 Goto Github PK
Name: Abhishek Anand
Type: User
Location: Miami, FL, USA
Name: Abhishek Anand
Type: User
Location: Miami, FL, USA
eclipse plugin to support side-by-side proofs and code
A library of abstract interfaces for mathematical structures in Coq.
Library for controlling Midea AC devices via their cloud
This is a library to allow communicating to a Midea appliance via the Midea cloud.
This is a library to allow communicating to a Midea AC via the Local area network.
Mindless, verified (erasably) coding using dependent types
Coq plugin for Netbeans
Archive for all Coq related OPAM packages organized in various repositories
OCaml bindings for OpenAI API
OpenNI
This repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins. We will continue to accept Pull Requests here. They will be merged via staging trees then into openwrt.git.
Coq plugin for parametricity
Repository for the Platform blog
Proviola, a tool for proof reanimation.
Python Library to control TPLink Switch (HS100 / HS110)
A really opionionated guide how to setup a Raspberry Pi (1 or 2) with Arch Linux including WiringPi, NTP, Wi-Fi, SSH, Ruby, ZSH and more.
to avoid blowup, "Lazily" reduce away a variable.
Robots powered by Constructive Reals
Haskell client library for the ROS robotics framework.
Sail version of ARM ISA definition, currently for ARMv8.5-A
semantically labels kinect pointclouds
Python script to read multiple fine particles (PM1 to PM10) from Sensirion SPS30. The script can work with multiple devices connected to USB hub
libusb/PyUSB-based driver to read TEMPer USB HID devices (USB ID 0c45:7401) and serve as a NetSNMP passpersist module
Reflection library for Coq
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.