Pinned Repositories
articles
bare-metal-idris-apps
Idris apps that run on bare-metal
bare-metal-idris-drivers
Drivers written in Idris for bare-metal apps
FreeRTOS-community-ports
The unofficial collection of community ports of FreeRTOS
idris-rts
The Idris RTS ported to the seL4 microkernel
libsel4-idris-ffi
An Idris FFI to the libsel4 library
logo
Generating the logo for mokshasoft.com
sel4-idris-apps
Example of Idris applications running on the seL4 microkernel
sel4-idris-manifest
Project to build Idris applications on seL4
wooden-bed
A wooden bed that can be assembled without glue or metal designed in OpenSCAD
mokshasoft's Repositories
mokshasoft/idris-rts
The Idris RTS ported to the seL4 microkernel
mokshasoft/bare-metal-idris-apps
Idris apps that run on bare-metal
mokshasoft/bare-metal-idris-drivers
Drivers written in Idris for bare-metal apps
mokshasoft/articles
mokshasoft/FreeRTOS-community-ports
The unofficial collection of community ports of FreeRTOS
mokshasoft/bare-metal-idris-core
The core boot and build infrastructure to create Idris bare-metal apps
mokshasoft/clj-http-lite
A lite version of clj-http that uses the jre's HttpURLConnection
mokshasoft/CV
My CV
mokshasoft/datahike
A durable datalog implementation adaptable for distribution.
mokshasoft/git-friends
mokshasoft/hus
mokshasoft/idris-bare-metal-manifest
Manifest for bare-metal apps written in Idris running on ARM
mokshasoft/Idris-dev
A Dependently Typed Functional Programming Language
mokshasoft/Idris2
A dependently typed programming language, a successor to Idris
mokshasoft/Idris2-1
A purely functional programming language with first class types
mokshasoft/idris2-nix-pkgDeps
mokshasoft/ihp
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
mokshasoft/ihp-blog-example-app
Example project showing the project structure of a simple blog app built with IHP
mokshasoft/ihp-boilerplate
Project Template for IHP. Used by ihp-new. License: MIT
mokshasoft/ihp-chat-example-app
Example project showing the project structure of a simple chat app built with IHP
mokshasoft/ihp-landing-page
mokshasoft/interval-timer
An interval timer for Linux
mokshasoft/jobtech-taxonomy-database
Schema definition and migration tools for the JobTech Taxonomy
mokshasoft/jobtechdev.se
This is the site
mokshasoft/mokshasoft.com
Home page for mokshasoft.com
mokshasoft/mokshasoft.github.io
mokshasoft/random-scripts
mokshasoft/recipes
A collection of recipes
mokshasoft/skipta
Haskell/Servant/elm project
mokshasoft/vibr