-
opendylan Public
Forked from dylan-lang/opendylanThe Open Dylan compiler and IDE.
-
-
-
seL4_tools Public
Forked from seL4/seL4_toolsBasic tools for building seL4 projects
C Other UpdatedNov 15, 2022 -
ferros Public
Forked from auxoncorp/ferrosA Rust-based userland which also adds compile-time assurances to seL4 development.
Rust Apache License 2.0 UpdatedFeb 6, 2022 -
selfe-sys Public
Forked from auxoncorp/selfe-sysA generated thin wrapper around libsel4.a, with supporting subcrates.
Rust Apache License 2.0 UpdatedJan 24, 2022 -
seL4_libs Public
Forked from seL4/seL4_libsNo-assurance libraries for rapid-prototyping of seL4 apps.
C Other UpdatedDec 24, 2021 -
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…
UpdatedJul 9, 2021 -
nrf-hal Public
Forked from nrf-rs/nrf-halA Rust HAL for the nRF family of devices
Rust Apache License 2.0 UpdatedDec 23, 2020 -
objc-dylan Public
Forked from dylan-foundry/objc-dylanA Dylan / Objective C bridge.
Dylan MIT License UpdatedNov 21, 2020 -
esp-idf Public
Forked from espressif/esp-idfEspressif IoT Development Framework. Official development framework for ESP32.
C Apache License 2.0 UpdatedAug 5, 2020 -
testworks Public
Forked from dylan-lang/testworksTesting framework for Open Dylan
Dylan UpdatedSep 11, 2019 -
quicklisp-client Public
Forked from quicklisp/quicklisp-clientQuicklisp client.
Common Lisp MIT License UpdatedMay 30, 2018 -
Mezzano Public
Forked from froggey/MezzanoAn operating system written in Common Lisp
Common Lisp MIT License UpdatedMay 23, 2018 -
MBuild Public
Forked from froggey/MBuildBuild system for Mezzano
Common Lisp Other UpdatedApr 24, 2018 -
slime Public
Forked from slime/slimeThe Superior Lisp Interaction Mode for Emacs
Common Lisp UpdatedMar 30, 2018 -
trivial-features Public
Forked from trivial-features/trivial-featuresPortable CL:*FEATURES*
Common Lisp MIT License UpdatedMar 17, 2018 -
spoofax-sunshine Public
Forked from metaborg/spoofax-sunshineJava Apache License 2.0 UpdatedSep 20, 2017 -
spoofax Public
Forked from metaborg/spoofaxSpoofax runtime
Java Apache License 2.0 UpdatedSep 20, 2017 -
Arduino Public
Forked from arduino/Arduinoopen-source electronics prototyping platform
HTML Other UpdatedSep 3, 2016 -
metaborg.github.io Public
Forked from seba--/metaborg.github.ioJavaScript MIT License UpdatedJan 7, 2015 -
meta-ros Public
Forked from ros/meta-rosROS Layer for OpenEmbedded Linux
BlitzBasic MIT License UpdatedAug 14, 2014 -
ros_realtime_tests Public
Forked from bmwcarit/ros_realtime_testsTests for validating the real-time capabilities of the ROS middleware
-
meta-cimtokmais-2012 Public
OpenEmbedded layer for ROS Fuerte
BlitzBasic MIT License UpdatedJan 22, 2014 -
-
dylan-mode Public
Forked from dylan-lang/dylan-emacs-supportEmacs support for Dylan
{{ message }}