mokshasoft

Pinned Repositories

• articles

  Language:Python10

• bare-metal-idris-apps

  Idris apps that run on bare-metal

  Language:Idris2200

• bare-metal-idris-drivers

  Drivers written in Idris for bare-metal apps

  Language:Idris20

• FreeRTOS-community-ports

  The unofficial collection of community ports of FreeRTOS

  Language:C10

• idris-rts

  The Idris RTS ported to the seL4 microkernel

  Language:C40

• libsel4-idris-ffi

  An Idris FFI to the libsel4 library

  Language:Idris30

• logo

  Generating the logo for mokshasoft.com

  Language:Haskell10

• sel4-idris-apps

  Example of Idris applications running on the seL4 microkernel

  Language:Idris40

• sel4-idris-manifest

  Project to build Idris applications on seL4

  4400

• wooden-bed

  A wooden bed that can be assembled without glue or metal designed in OpenSCAD

  Language:OpenSCAD10

mokshasoft's Repositories