- Germany
-
genode-manual Public
Forked from nfeske/genode-manualReference manual for the Genode OS Framework
Tcl Other UpdatedAug 29, 2024 -
-
-
goa Public
Forked from genodelabs/goaTool for streamlining the development of Genode applications
Tcl GNU Affero General Public License v3.0 UpdatedAug 29, 2024 -
gosh Public
Forked from nfeske/goshTool to convert plain text to LaTeX, HTML, and other formats
Tcl GNU General Public License v2.0 UpdatedAug 12, 2024 -
schedsim Public
Pragmatic CPU scheduling simulator
Python GNU General Public License v3.0 UpdatedAug 1, 2024 -
-
-
genode-world Public
Forked from genodelabs/genode-worldCollection of community-maintained components for Genode
-
genodians.org Public
Forked from genodelabs/genodians.orgWebsite for stories around the Genode operating system
CSS Other UpdatedFeb 15, 2024 -
genode-zynq Public
Forked from genodelabs/genode-zynqZynq SoC support for the Genode OS framework
C Other UpdatedDec 4, 2023 -
taskopen Public
Tool for taking notes and open urls with taskwarrior
-
goa-playground Public
Forked from nfeske/goa-playgroundExperimentation ground for using the Goa tool
Vim Script Other UpdatedApr 25, 2023 -
chapterize_audiobooks Public
Convert fragmented audiobooks into monolithic files with chapter marks
Tcl MIT License UpdatedNov 25, 2022 -
tinycore-remaster Public
Tools for remastering TinyCore Linux images.
-
genode-allwinner Public
Forked from genodelabs/genode-allwinnerAllwinner SoC support for the Genode OS framework
C Other UpdatedSep 8, 2022 -
xArm-CPLUS-SDK Public
Forked from xArm-Developer/xArm-CPLUS-SDKC BSD 3-Clause "New" or "Revised" License UpdatedApr 13, 2022 -
qmk_firmware Public
Forked from qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
C GNU General Public License v2.0 UpdatedMar 16, 2022 -
tracecompass Public
Forked from tracecompass/tracecompassMirror of the main Trace Compass git repository: https://git.eclipse.org/c/tracecompass/org.eclipse.tracecompass.git
Java Eclipse Public License 2.0 UpdatedAug 11, 2021 -
github-search Public
Multi-repository search utility using GitHub API
Python GNU General Public License v3.0 UpdatedJul 29, 2021 -
libuvc Public
Forked from libuvc/libuvca cross-platform library for USB video devices
C Other UpdatedJul 23, 2021 -
morbo Public
Forked from alex-ab/morboA toolchain for Firewire booting and remote DMA
C GNU General Public License v2.0 UpdatedJul 14, 2021 -
pandoc-theoremnos Public
Forked from tomduck/pandoc-theoremnosA pandoc filter for numbering theorems and theorem references.
Python GNU General Public License v3.0 UpdatedDec 29, 2020 -
pyplot_helper Public archive
A collection of scripts that facilitate the creation of fancy plots with matplotlib (e.g. stacked bar charts)..
Python MIT License UpdatedOct 26, 2020 -
pandoc-eqnos Public
Forked from tomduck/pandoc-eqnosA pandoc filter for numbering equations and equation references.
Python GNU General Public License v3.0 UpdatedAug 8, 2020 -
pandoc-secnos Public
Forked from tomduck/pandoc-secnosA pandoc filter for numbering section references.
Python GNU General Public License v3.0 UpdatedFeb 26, 2020 -
pandoc-fignos Public
Forked from tomduck/pandoc-fignosA pandoc filter for numbering figures and figure references.
Python GNU General Public License v3.0 UpdatedFeb 17, 2020 -
vim-pandoc Public
Forked from vim-pandoc/vim-pandocpandoc integration and utilities for vim
Vim Script MIT License UpdatedJan 8, 2020 -
pandoc-xnos Public
Forked from tomduck/pandoc-xnosLibrary code for pandoc-fignos/eqnos/tablenos.
Python GNU General Public License v3.0 UpdatedOct 30, 2019 -
pygraphml Public
Forked from hadim/pygraphmlSmall library to parse GraphML file in Python
Python BSD 3-Clause "New" or "Revised" License UpdatedMar 17, 2017