FormaleSystemeUnterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Stars: ✭ 31 (-49.18%)
hlf1.4-supply-chainSupply chain proof of concept in Hyperledger Fabric. Network with four companies and a specific chaincode exposed as rest API
Stars: ✭ 30 (-50.82%)
advanced-pandasPandas is a powerful tool for data exploration and analysis (including timeseries).
Stars: ✭ 22 (-63.93%)
k8s-schoolLearn Kubernetes fundamentals / Formation Kubernetes et les micro-services
Stars: ✭ 30 (-50.82%)
ru102jsSource code for the RU102JS Redis for JavaScript Developers Course
Stars: ✭ 21 (-65.57%)
kintkinT keyboard controller (Kinesis controller replacement)
Stars: ✭ 191 (+213.11%)
RiscvSpecFormalThe RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools.
Stars: ✭ 69 (+13.11%)
StratifyOSA Powerful embedded RTOS for ARM Cortex M microcontrollers
Stars: ✭ 94 (+54.1%)
dmidecode纯Golang实现的dmidecode, 零依赖, 支持Linux, Unix, Windows
Stars: ✭ 83 (+36.07%)
dgs19Docker Getting Started
Stars: ✭ 22 (-63.93%)
pcidbSmall golang library for querying PCI database (pciids) information
Stars: ✭ 19 (-68.85%)
PaperinoE-Paper display library for the Particle & Arduino family.
Stars: ✭ 35 (-42.62%)
nsec-badgeSoftware from the NorthSec badge
Stars: ✭ 34 (-44.26%)
lab-manualLab manual for the Contextual Dynamics Laboratory at Dartmouth College
Stars: ✭ 16 (-73.77%)
openblock-desktopGraphic programming software for hardware like: arduino, microbit, esp32, esp8266...
Stars: ✭ 161 (+163.93%)
detect-gpuClassifies GPUs based on their 3D rendering benchmark score allowing the developer to provide sensible default settings for graphically intensive applications.
Stars: ✭ 749 (+1127.87%)
programmable-airA hardware kit to experiment with inflatable and vacuum based soft robotics.
Stars: ✭ 54 (-11.48%)
OctoPrint-DisplayPanelSimple control and status paired with a physical button panel and OLED display
Stars: ✭ 50 (-18.03%)
quincea 2.4 GHz SDR neighbor using 1 bit ADC
Stars: ✭ 24 (-60.66%)
sigstoreCommon go library shared across sigstore services and clients
Stars: ✭ 285 (+367.21%)
MewHardware password manager
Stars: ✭ 21 (-65.57%)
vdpau-va-driver-vp9Experimental VP9 codec support for vdpau-va-driver (NVIDIA VDPAU-VAAPI wrapper) and chromium-vaapi
Stars: ✭ 68 (+11.48%)
SDR Matlab OFDM 802.11n📡 Using Software Designed Radio to transmit MIMO-OFDM QPSK signals at 5 GHz
Stars: ✭ 44 (-27.87%)
Teaching-Data-VisualisationPresentation and exercises for the Software Sustainability Institute Research Data Visualisation Workshop (RDVW)
Stars: ✭ 15 (-75.41%)
TARTTransient Array Radio Telescope
Stars: ✭ 20 (-67.21%)
arvARV: Asynchronous RISC-V Go High-level Functional Model
Stars: ✭ 18 (-70.49%)
gsmartcontrolGSmartControl - Hard disk drive and SSD health inspection tool
Stars: ✭ 183 (+200%)
fphdlVHDL-2008 Support Library
Stars: ✭ 36 (-40.98%)
course-materialsStudy material (slides, documents, etc) for the Web Applications I course (Politecnico di Torino, 2019/2020)
Stars: ✭ 23 (-62.3%)
pyadi-iioPython interfaces for ADI hardware with IIO drivers (aka peyote)
Stars: ✭ 53 (-13.11%)
68Keys.ioBuild your own 68% Custom Mechanical Keyboard.
Stars: ✭ 56 (-8.2%)
libDaisyHardware Library for the Daisy Audio Platform
Stars: ✭ 164 (+168.85%)
midi-gridDIY midi controller project
Stars: ✭ 60 (-1.64%)
gobotGolang framework for robotics, drones, and the Internet of Things (IoT)
Stars: ✭ 7,869 (+12800%)
LuckyCATA distributed fuzzing management framework
Stars: ✭ 55 (-9.84%)
open-electronics📚 💻 Great Resources for Electronics Enthusiasts
Stars: ✭ 347 (+468.85%)
gloriousctlA utility to adjust the settings of Model O/D mice on Linux/BSD
Stars: ✭ 35 (-42.62%)
8QGeneral Purpose 8 Qubit Optical Quantum Computer
Stars: ✭ 55 (-9.84%)
pygearsHW Design: A Functional Approach
Stars: ✭ 122 (+100%)
SolAn open-source MIDI-to-CV Eurorack module that runs CircuitPython
Stars: ✭ 56 (-8.2%)
ACNHAutoCatalogerAutomatically records what's in your Animal Crossing: New Horizons catalog
Stars: ✭ 34 (-44.26%)
iceskateA low cost FPGA development board for absolute newbies
Stars: ✭ 15 (-75.41%)
uartserial com api
Stars: ✭ 37 (-39.34%)
MooInfoVisual implementation of OSHI, to view information about the system and hardware.
Stars: ✭ 83 (+36.07%)
Data science for biologists 2019Lab materials for the University of Washington course Data Science for Biologists (Winter 2019, BIO419/519)
Stars: ✭ 25 (-59.02%)
TheoLogVorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
Stars: ✭ 20 (-67.21%)
k8s-idm-labKubernetes Identity Management Lab
Stars: ✭ 20 (-67.21%)
aciduinoCheap and DIY make in 1 hour, 2 tracks, 14 patterns, Roland TB-303 step sequencer clone +plus features aimed for musicians and djs to use it on live performance or for the studio create process
Stars: ✭ 82 (+34.43%)
japb retroarchAn Unofficial port of Retroarch to the Pandora's Box hardware
Stars: ✭ 25 (-59.02%)