Similar repositories to mokshasoft/libsel4-idris-ffi:

• mokshasoft/libsel4-idris-ffi github similar
• mokshasoft/sel4-idris-manifest github similar
• mokshasoft/sel4-idris-apps github similar
• mokshasoft/idris-rts github similar
• ermine-language/ermine github similar
• synrc/shen github similar
• tlaplus/DrTLAPlus github similar
• mozilla/mentat github similar
• seL4/seL4 github similar
• ponylang/ponyc github similar
• rkt/rkt github similar