mcgordonite

@Arm-SoftwareCambridge, UK

Pinned Repositories

theia
Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
Language:TypeScript19.4k 291 6.9k2.5k
AWS_MQTT_MutualAuth_Demo
AWS MQTT example
Language:C00
idris-binary-rationals
An idris rational number type built from paths in the Stern Brocot tree
Language:Idris91
jundo
An experiment with functional programming and 3D graphics using PureScript and WebGL.
Language:PureScript10
ML-examples
Arm Machine Learning tutorials and examples
Language:C++20
purescript-metrology
Purescript library for type checking the manipulation of measurements with units
Language:PureScript00
purescript-metrology-vectors
Purescript library for matrix and vector operations on measurements with units
Language:PureScript00
vcpkg-tool
Components of microsoft/vcpkg's binary.
Language:C++00
vscode
Visual Studio Code
Language:TypeScript0 1 00
pyOCD
Open source Python library for programming and debugging Arm Cortex-M microcontrollers
Language:Python1.1k 65 665474

mcgordonite/idris-binary-rationals
An idris rational number type built from paths in the Stern Brocot tree
Language:Idris91
mcgordonite/ML-examples
Arm Machine Learning tutorials and examples
Language:C++20
mcgordonite/jundo
An experiment with functional programming and 3D graphics using PureScript and WebGL.
Language:PureScript10
mcgordonite/AWS_MQTT_MutualAuth_Demo
AWS MQTT example
Language:C00
mcgordonite/purescript-metrology
Purescript library for type checking the manipulation of measurements with units
Language:PureScript00
mcgordonite/purescript-metrology-vectors
Purescript library for matrix and vector operations on measurements with units
Language:PureScript00
mcgordonite/vcpkg-tool
Components of microsoft/vcpkg's binary.
Language:C++00
mcgordonite/vscode
Visual Studio Code
Language:TypeScript0 1 00