Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 31 million developers.
Sign up
-
University of Edinburgh
Popular repositories
-
light-cli
A simple heapless command line interface parser for embedded devices
Rust 7
-
rust-stm32f103
A rust library for the STM32F103 microcontroller
-
max31865
A rust library for the MAX31865 RTD to Digital sensor
-
links
Forked from links-lang/links
Links
OCaml
-
libipc
simple IPC communication library
-
rust-stm32f103-examples
Examples of my rust STM32 library
Rust
58 contributions in the last year
Contribution activity
April 2019
Created a pull request in links-lang/links that received 1 comment
[WIP] Extended relational lenses typechecking
This is a work in progress pull request to improve the relational lens typechecking and to improve error handling. A few further small things: Rep…