-
-
SaturnIX Public
Micro-Kernel Operating System
-
slackware64-current-iso Public
ISO install image for slackware64-current
-
-
phpRechnung Public
Forked from kreapptivo/phprechnungphpRechnung ist ein einfach-zu-benutzendes Programm zur Erstellung von Ausgangsrechnungen als PDF-Dateien, sowie zur Verwaltung von Kundenadressen und Angeboten.
PHP Other UpdatedJul 28, 2019 -
-
-
-
rux Public
Forked from sorpaas/ruxA hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
Rust MIT License UpdatedJun 20, 2019 -
wasmi-on-rux Public
Forked from sorpaas/wasmi-on-ruxRun `wasmi` in the Rux microkernel!
Rust Apache License 2.0 UpdatedJun 19, 2019 -
c2rust Public
Forked from immunant/c2rustC to Rust translation, refactoring, and cross-checking
Rust BSD 3-Clause "New" or "Revised" License UpdatedJun 17, 2019 -
-
clang Public
Forked from llvm-mirror/clangMirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
C++ Other UpdatedJun 11, 2019 -
Nix, the purely functional package manager
C++ GNU Lesser General Public License v2.1 UpdatedJun 11, 2019 -
redox Public
Forked from redox-os/redoxMirror of https://gitlab.redox-os.org/redox-os/redox
Makefile MIT License UpdatedJun 8, 2019 Stock-Prediction-Models Public
Forked from huseinzol05/Stock-Prediction-ModelsGathers machine learning and deep learning models for Stock forecasting including trading bots and simulations
Jupyter Notebook Apache License 2.0 UpdatedJun 7, 2019 run_scaled Public
Forked from kaueraal/run_scaledRun an X application scaled via xpra. Useful on hidpi screens.
Shell BSD 3-Clause "New" or "Revised" License UpdatedMar 8, 2019 camkes Public
Forked from seL4/camkesComponent Architecture test suite and example apps.
C Other UpdatedFeb 20, 2019 camkes-tool Public
Forked from seL4/camkes-toolThe main CAmkES tool
Python Other UpdatedFeb 20, 2019 picotcp Public
Forked from tass-belgium/picotcpPicoTCP is a free TCP/IP stack implementation
C Other UpdatedSep 14, 2018 picotcp-bsd Public
Forked from tass-belgium/picotcp-bsdBSD POSIX-compliant socket support for PicoTCP running on any OS.
C GNU General Public License v2.0 UpdatedSep 14, 2018 wasmi Public
Forked from sorpaas/wasmiWasm interpreter in Rust
Rust Apache License 2.0 UpdatedSep 13, 2018 picotcp-modules Public
Forked from tass-belgium/picotcp-modulesApplication level modules to run on top of the popular Embedded picoTCP TCP/IP stack
C GNU General Public License v2.0 UpdatedAug 25, 2018
{{ message }}