-
argparse-sh Public
Forked from yaacov/argparse-shargparse.sh contains bash functions that streamlines the management of command-line arguments in Bash scripts
Shell MIT License UpdatedDec 13, 2025 -
-
Code for "Scalable Multi-Stage Influence Function for Large Language Models via Eigenvalue-Corrected Kronecker-Factored Parameterization" (accepted by IJCAI 2025).
-
Code for "Probing the Geometry of Truth: Consistency and Generalization of Truth Directions in LLMs Across Logical Transformations and Question Answering Tasks" (accepted by Findings of ACL 2025)
-
-
-
MissionPlanner Public
Forked from ArduPilot/MissionPlannerMission Planner Ground Control Station for ArduPilot (c# .net)
C# GNU General Public License v3.0 UpdatedMay 25, 2023 -
camkes-vm Public
Forked from seL4/camkes-vmVirtual Machine built as a CAmkES component.
C Other UpdatedMay 23, 2023 -
-
seL4_tools Public
Forked from seL4/seL4_toolsBasic tools for building seL4 projects
C Other UpdatedMay 12, 2023 -
-
-
-
-
verification-manifest Public
Forked from seL4/verification-manifestManifests for the collection of verification repositories
UpdatedMay 9, 2023 -
camkes-tool Public
Forked from seL4/camkes-toolThe main CAmkES tool
Python Other UpdatedMay 7, 2023 -
-
capdl Public
Forked from seL4/capdlCapability Distribution Language tools for seL4
Haskell UpdatedApr 20, 2023 -
-
seL4_libs Public
Forked from seL4/seL4_libsNo-assurance libraries for rapid-prototyping of seL4 apps.
C Other UpdatedApr 10, 2023 -
-
-
-
-
-
sel4cp_vmm Public
Forked from au-ts/libvmmAn experimental VMM using the seL4 Core Platform
C UpdatedFeb 20, 2023 -
-
-
-
{{ message }}