njavro

njavro

Geek Repo

Location:Boston

Home Page:njavro.xyz

Github PK Tool:Github PK Tool

njavro's starred repositories

copilot

A stream-based runtime-verification framework for generating hard real-time C code.

Language:HaskellStargazers:647Issues:0Issues:0

litex

Build your hardware, easily!

Language:CLicense:NOASSERTIONStargazers:2920Issues:0Issues:0
Language:CStargazers:439Issues:0Issues:0

schedcat

The Schedulability Test Collection And Toolkit

Language:C++Stargazers:36Issues:0Issues:0

FSP

Intel(R) Firmware Support Package (FSP)

Language:CLicense:NOASSERTIONStargazers:293Issues:0Issues:0

Embedded-Engineering-Roadmap

A comprehensive roadmap for aspiring Embedded Systems Engineers, featuring a curated list of learning resources.

License:CC-BY-SA-4.0Stargazers:4225Issues:0Issues:0

Getting-Started-With-ACPI

Repo for Getting Started With ACPI

Language:ASLStargazers:600Issues:0Issues:0

syclacademy

SYCL Academy, a set of learning materials for SYCL heterogeneous programming

Language:HTMLLicense:CC-BY-SA-4.0Stargazers:447Issues:0Issues:0

UefiVarTool

Scriptable tool to read and write UEFI variables from EFI shell. View, save, edit and restore hidden UEFI (BIOS) Setup settings faster than with the OEM menu forms.

Language:RustLicense:GPL-3.0Stargazers:43Issues:0Issues:0

UEFI-Editor

Aptio V UEFI Editor: an alternative to AMIBCP

Language:TypeScriptStargazers:533Issues:0Issues:0

setup_var.efi

UEFI command-line tool for read/write access of variables

Language:RustLicense:Apache-2.0Stargazers:231Issues:0Issues:0

TSN-Testbench

A real time traffic simulation.

Language:CLicense:BSD-2-ClauseStargazers:35Issues:0Issues:0

rocket-chip

Rocket Chip Generator

Language:ScalaLicense:NOASSERTIONStargazers:3195Issues:0Issues:0
Language:CLicense:BSD-2-ClauseStargazers:5Issues:0Issues:0

riscv-fw-infrastructure

SDK Firmware infrastructure, contain RTOS Abstraction Layer, demos, SweRV Processor Support Package, and more ...

Language:CLicense:Apache-2.0Stargazers:24Issues:0Issues:0

vf2-loader

VisionFive 2 firmware loader

Language:RustLicense:GPL-2.0Stargazers:6Issues:0Issues:0

uefi-simple

UEFI development made easy

Language:MakefileLicense:NOASSERTIONStargazers:233Issues:0Issues:0
Language:CLicense:NOASSERTIONStargazers:878Issues:0Issues:0
Language:PythonLicense:BSD-3-ClauseStargazers:12Issues:0Issues:0

engine-framework

The repository of the EnGINE framework used for reproducible large scale experiments.

Language:PythonLicense:MITStargazers:4Issues:0Issues:0

rohd

The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.

Language:DartLicense:BSD-3-ClauseStargazers:373Issues:0Issues:0

orangecrab-hardware

ECP5 breakout board in a feather physical format

Language:HTMLLicense:NOASSERTIONStargazers:485Issues:0Issues:0

threadx

Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.

Language:CLicense:MITStargazers:2888Issues:0Issues:0

low-level-programming

Source code for 'Low-Level Programming' by Igor Zhirkov

Language:AssemblyLicense:NOASSERTIONStargazers:758Issues:0Issues:0

ibex-demo-system-labs

Labs for the Ibex Demo System

Language:CLicense:CC-BY-4.0Stargazers:11Issues:0Issues:0

Neuromorphic-Computing-Guide

Learn about the Neumorphic engineering process of creating large-scale integration (VLSI) systems containing electronic analog circuits to mimic neuro-biological architectures.

Language:PythonStargazers:335Issues:0Issues:0

avrdude

AVRDUDE is a utility to program AVR microcontrollers

Language:CLicense:GPL-2.0Stargazers:723Issues:0Issues:0

rv003usb

CH32V003 RISC-V Pure Software USB Controller

Language:CLicense:MITStargazers:447Issues:0Issues:0

slambench

SLAM performance evaluation framework

Language:C++License:NOASSERTIONStargazers:311Issues:0Issues:0

isochron

Tool for Time Sensitive Networking testing

Language:CLicense:GPL-2.0Stargazers:42Issues:0Issues:0