-
BLHeli Public
Forked from bitdump/BLHeliBLHeli for brushless ESC firmware
Assembly GNU General Public License v3.0 UpdatedJun 7, 2024 -
ort Public
Forked from oss-review-toolkit/ortA suite of tools to assist with reviewing Open Source Software dependencies.
Kotlin Apache License 2.0 UpdatedMar 31, 2023 -
nvda Public
Forked from nvaccess/nvdaNVDA, the free and open source Screen Reader for Microsoft Windows
Python Other UpdatedMay 23, 2022 -
linhpsdr Public
Forked from g0orx/linhpsdrLinux HPSDR
-
argo-cd Public
Forked from argoproj/argo-cdDeclarative continuous deployment for Kubernetes.
Go Apache License 2.0 UpdatedMar 20, 2022 -
apps-inoeg Public
Forked from impfen/apps-inoegKiebitz Web Applications (for users, providers and mediators). Still a work-in-progress, use with care!
TypeScript GNU Affero General Public License v3.0 UpdatedJan 27, 2022 -
kubernetes Public
Forked from impfen/kubernetesSmarty GNU Affero General Public License v3.0 UpdatedJan 6, 2022 -
services Public
Forked from sofort-impfen-de/servicesThe Kiebitz Backend Services. Still a work-in-progess, use with care!
Go GNU Affero General Public License v3.0 UpdatedDec 30, 2021 -
gui-python-gtk Public
Forked from natorsc/py-gtkCriando interfaces gráficas com Python e GTK.
Python MIT License UpdatedMay 27, 2020 -
OpenHPSDR-Protocol1-Programmers Public
Forked from TAPR/OpenHPSDR-Protocol1-ProgrammersHPSDR Programmers for the Original Protocol (protocol1)
-
-
quartus-install Public
Forked from CTSRD-CHERI/quartus-installInstall Intel FPGA 'Quartus Prime' software on remote servers
Python UpdatedMay 11, 2020 -
grpc-rust Public
Forked from stepancheg/grpc-rustRust implementation of gRPC
Rust MIT License UpdatedDec 26, 2017 -
Lua-RTOS-ESP32 Public
Forked from whitecatboard/Lua-RTOS-ESP32Lua RTOS for ESP32
C UpdatedAug 30, 2017 -
-
FStar Public
Forked from FStarLang/FStarAn ML-like language aimed at program verification
OCaml Apache License 2.0 UpdatedJul 18, 2017 -
hacl-star Public
Forked from hacl-star/hacl-starHACL*, a formally verified cryptographic library written in F*
Assembly UpdatedJul 14, 2017 -
mitls-fstar Public
Forked from project-everest/mitls-fstarTLS implemented in F*
F# Other UpdatedJul 14, 2017 -
kremlin Public
Forked from FStarLang/karamelKreMLin is a tool for extracting low-level F* programs to readable C code
OCaml Apache License 2.0 UpdatedJul 13, 2017 -
vale Public
Forked from project-everest/valeVerified Assembly Language for Everest
Python Apache License 2.0 UpdatedJul 13, 2017 -
-
-
bigxionflasher-usb Public
Forked from BigXionFlasher/bigxionflasher-usbC GNU General Public License v3.0 UpdatedMar 10, 2017 -
octopress Public
Forked from imathis/octopressOctopress is an obsessively designed framework for Jekyll blogging. It’s easy to configure and easy to deploy. Sweet huh?
CSS UpdatedSep 15, 2015 -
-
-
pidcodes.github.com Public
Forked from pidcodes/pidcodes.github.comWebsite for pid.codes
CSS Creative Commons Zero v1.0 Universal UpdatedApr 10, 2015 -
-
xmpp Public
Forked from hannesm/xmppOCaml based XMPP implementation
OCaml BSD 3-Clause "New" or "Revised" License UpdatedJan 15, 2015 -