Popular repositories Loading

1. remotebit remotebit Public

   remote:bit is a remote Python execution library for BBC micro:bit.

   Python 2

2. OMicroB OMicroB Public

   Forked from stevenvar/OMicroB

   An OCaml generic virtual machine for microcontrollers

   OCaml

3. camlBit camlBit Public

   caml:bit is an OCaml library to program BBC micro:bit.

   OCaml

4. Idris2 Idris2 Public

   Forked from idris-lang/Idris2

   A purely functional programming language with first class types

   Idris

5. LLVM-embedded-toolchain-for-Arm LLVM-embedded-toolchain-for-Arm Public

   Forked from ARM-software/LLVM-embedded-toolchain-for-Arm

   A project dedicated to build LLVM toolchain for 32-bit Arm embedded targets.

   CMake

6. llvm-www llvm-www Public

   Forked from llvm/llvm-www

   HTML