Pinned Repositories
awesome-provable
A curated set of links to formal methods involving provable code.
BlocklyDuino
BlocklyDuino is a web-based visual programming editor for arduino.
cArduino
C++ Arduino for linux
DefinitelyTyped
The repository for high quality TypeScript type definitions.
django-todo
A multi-user, multi-group todo/ticketing system for Django projects. Includes CSV import and integrated mail tracking.
Docs
Documentation for ASP.NET and ASP.NET Core
ElegooIRRemoteFuncExample
Elegoo / Arduino example code for the Elegoo IR Remote
fecha
Javascript Date formatting and parsing
flow-router
Carefully Designed Client Side Router for Meteor
flow-router-1
james1293's Repositories
james1293/awesome-provable
A curated set of links to formal methods involving provable code.
james1293/BlocklyDuino
BlocklyDuino is a web-based visual programming editor for arduino.
james1293/cArduino
C++ Arduino for linux
james1293/DefinitelyTyped
The repository for high quality TypeScript type definitions.
james1293/django-todo
A multi-user, multi-group todo/ticketing system for Django projects. Includes CSV import and integrated mail tracking.
james1293/Docs
Documentation for ASP.NET and ASP.NET Core
james1293/ElegooIRRemoteFuncExample
Elegoo / Arduino example code for the Elegoo IR Remote
james1293/fecha
Javascript Date formatting and parsing
james1293/flow-router
Carefully Designed Client Side Router for Meteor
james1293/flow-router-1
james1293/gtd
Container/stub site for django-todo
james1293/guide
:book: Articles about Meteor best practices
james1293/iron-router
james1293/knockout
Knockout makes it easier to create rich, responsive UIs with JavaScript
james1293/Light-and-Temp-logger
Example code for Adafruit data logging shield
james1293/meteor-astronomy
Model layer for Meteor
james1293/meteor-astronomy-ts
Meteor Astronomy definition file for TypeScript
james1293/purescript-pux
Build type-safe web apps with PureScript.
james1293/pxt-adafruit
Microsoft MakeCode editor for Adafruit Circuit Playground Express
james1293/pyqtgraph
pyqtgraph main development repository
james1293/unification