dsheets Goto Github PK
Name: David Sheets
Type: User
Bio: drinks from sources.
Location: Cambridge, UK
Name: David Sheets
Type: User
Bio: drinks from sources.
Location: Cambridge, UK
Platform-agnostic driver to communicate with devices running Adafruit Seesaw firmware.
Network-wide ads & trackers blocking DNS server
Agda is a dependently typed programming language / interactive theorem prover.
Verified C programming in Agda
The Agda standard library
A lightweight and colourful test framework
A type-safe, fully asynchronous and encrypted SOCKS5 proxy
A collection of tools to manage the configuration of OCaml projects
Generates optimized boilerplate OCaml code for JSON and Biniou IO from type definitions (official repository)
Documentation for atdgen
Docker Authorization Plugin
Auto-detect the connect display hardware and load the appropiate X11 setup using xrandr or disper
Awesome Agda Programming
This is a mirror of axtls svn repository. All patches should be based on master for upstreaming.
Benchmarks for various system operations in OS X with Swift, Go, C, and OCaml
Simple templating based on XML ropes
Bot posting reports on opam-repository pull-request using a web hook
DHCP client using charrua-core.
Rust library for managing RGB Colors
OCaml documentation generator
opam repo for codoc testing
Zurb Foundation templates for a blog/wiki using Cohttp
A proposal for using Web Standards in CSS Custom Filter FX Modules
Connect processes into powerful data pipelines with a simple git-like filesystem interface
GitHub API documentation
Documentation generation for OCaml
XML printer and parser for Doc-Ock
The Docker CLI
Docker for Mac
Docker for Windows
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.