Jasper Di Francesco's repositories
Language:C000
Language:C000
seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
NOASSERTION000
sel4bench
sel4 benchmarking applications and support library.
NOASSERTION000
simple_seL4
The seL4 microkernel
NOASSERTION000
sel4bench-manifest
Manifest of the seL4bench project, which contains microbenchmarks for seL4.
000
sDDF
seL4 Device Driver Framework
Language:CBSD-2-Clause000
micropython
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
Language:CNOASSERTION000
libnfs
NFS client library
Language:CNOASSERTION000
Language:C++000
Language:CNOASSERTION000
Language:CNOASSERTION000
comp1511-22T3-revision-session
Practice problems for the 22T3 CSESoc COMP1511 revision session. Integrated with the Autotest framework
Language:CGPL-3.0000
sel4cp
seL4 Core Platform - A simple operating system for the seL4 microkernel
BSD-2-Clause000
sel4website
The seL4.systems website
Language:Promela000
Language:JavaScript000
MIT000
Language:JavaScript000
Language:TypeScript000
Language:JavaScript000
Language:Python000
Language:JavaScript000
hchess
Haskell chess engine
Language:Haskell000
scrumdinger
Scrum manager app following Apple's Swift development tutorial
Language:Swift000
Language:JavaScript000
openqnx
mirror of git://git.code.sf.net/p/monartis/openqnx
000