|
|
Promela |
6 |
Semiautomated layout of RNA tertiary structure diagrams |
May 03, 2022 |
|
|
Promela |
8 |
Dynamic pharmacophore modeling of molecular interactions |
Apr 22, 2022 |
|
|
Promela |
2 |
Choregraphe repository for NaoPoint project. |
May 04, 2022 |
|
|
Promela |
2 |
Human Robot Interaction Pilot Study |
Mar 07, 2022 |
|
|
Promela |
2 |
None |
Dec 14, 2022 |
|
|
Promela |
2 |
PML markup code of the 'PML User Manual' |
Aug 02, 2022 |
|
|
Promela |
3 |
Repository containing our modified version of the KORG attacker synthesis tool. |
Apr 12, 2022 |
|
|
Promela |
3 |
PML markup code of the 'PML Reference Manual' |
Aug 02, 2022 |
|
|
Promela |
3 |
Sublime Text 4 syntax for PML (Practical Markup Language) |
Aug 12, 2022 |
|
|
Promela |
21 |
Open-source code for RFCNLP paper. |
May 24, 2022 |
model-of-a-road-intersection
|
Promela |
2 |
None |
Feb 10, 2023 |
|
|
Promela |
4 |
None |
May 02, 2023 |
|
|
C |
3576 |
The seL4 microkernel |
Aug 30, 2022 |
|
|
None |
21 |
The seL4 microkernel |
Feb 21, 2023 |
|
|
C |
2 |
The seL4 microkernel |
May 10, 2023 |
|
|
Python |
4 |
seL4 Core Platform - A simple operating system for the seL4 microkernel |
Apr 20, 2023 |
|
|
Python |
2 |
seL4 Core Platform - A simple operating system for the seL4 microkernel |
Sep 21, 2023 |
|
|
C |
9 |
This is the source of the seL4 docs. |
Jul 12, 2022 |
|
|
Python |
2 |
CI GitHub actions for the seL4 repositories |
Aug 01, 2022 |
|
|
Isabelle |
407 |
seL4 specification and proofs |
Jul 26, 2022 |
|
|
Rust |
8 |
Rust firewall for seL4 |
Jan 18, 2022 |
|
|
C |
17 |
Test suite for seL4. |
Mar 08, 2022 |
|
|
Shell |
26 |
Integrate WasmEdge with seL4 |
Jul 27, 2022 |
|
|
C |
13 |
seL4 Device Driver Framework |
Mar 09, 2023 |
|
|
C |
4 |
An experimental VMM using the seL4 Core Platform |
Apr 20, 2023 |
|
|
CMake |
4 |
An seL4 reference webserver application |
Dec 12, 2021 |
|
|
C |
23 |
Apps for running with the rumprun unikernel on seL4. |
May 20, 2022 |
|
|
JavaScript |
9 |
Horizontal Systems website |
Mar 30, 2022 |
|
|
C |
9 |
A minimal runtime for seL4 applications. |
Jan 06, 2022 |
|
|
C |
14 |
sel4 benchmarking applications and support library. |
Feb 12, 2022 |
|
|
Haskell |
25 |
Capability Distribution Language tools for seL4 |
Mar 21, 2022 |
|
|
C |
30 |
Basic tools for building seL4 projects |
Apr 28, 2022 |
|
|
BitBake |
4 |
Yocto layer for seL4 related stuff |
Jan 23, 2023 |
|
|
SCSS |
2 |
Open Systems Pharmacology Website (www.open-systems-pharmacology.org) |
Dec 14, 2022 |
|
|
None |
5 |
Manifest of the seL4bench project, which contains microbenchmarks for seL4. |
Jan 10, 2022 |
|
|
TypeScript |
2 |
V Systems documentation website |
Feb 23, 2022 |
|
|
HTML |
2 |
Secure Systems Lab website |
May 10, 2024 |
|
|
C |
2 |
Playground for Beaglebone Black and seL4 tests |
Dec 18, 2018 |
|
|
C |
7 |
A library for the provisioning of basic system services on seL4. |
Apr 14, 2021 |
|
|
Shell |
8 |
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v. |
Mar 08, 2022 |
|
|
SCSS |
12 |
CS294 AI Systems Class Website |
May 08, 2023 |
|
|
Rust |
2 |
Website and systems for Lumina website and government |
Jan 29, 2023 |
|
|
None |
19 |
Reference Operating system based on seL4 --- example code |
Jun 30, 2021 |
|
|
Python |
44 |
Tutorials for working with seL4 and/or CAmkES. |
Jul 15, 2022 |
|
|
C |
3 |
Linux kernel module to manage seL4 guest VMs |
Jun 07, 2023 |
|
|
None |
2 |
the git-repo manifest for schedul4, a user-level scheduler for the seL4 microkernel |
Apr 17, 2020 |
|
|
CSS |
2 |
The small website I created for a Web Systems subject. |
May 13, 2016 |
|
|
TypeScript |
4 |
ACM@UIC Website and Systems Documentation |
Jun 21, 2022 |
|
|
C |
36 |
Prototype no-assurance reference OS personality built on seL4 |
May 04, 2022 |
|
|
C |
38 |
No-assurance libraries for rapid-prototyping of seL4 apps. |
Jun 04, 2022 |