Alternatives and similar repositories for booxsdk

Users that are interested in booxsdk are comparing it to the libraries listed below

• Choaib-ELMADI / fpga-programming-for-beginners
  A collection of notes, summaries, and projects based on the book "FPGA Programming for Beginners" by Frank Bruno.
  ☆14Updated 9 months ago
• au-ts / sddf
  A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…
  ☆32Updated this week
• WuBingzheng / libwuya
  collections of utils, e.g. dict, skiplist
  ☆10Updated 3 years ago
• erdetn / vi2c
  A tiny I2C library written in V
  ☆14Updated last year
• yoelmatveyev / nutes
  A virtual ternary OISC machine (One Instruction Set Computer) inspired by 1950s Soviet hardware
  ☆9Updated 4 years ago
• michaelmelanson / wasm-kernel
  Runs WebAssembly binaries on barebones x86-64 systems.
  ☆15Updated 6 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated last week
• yvt / zig-armv8m-test
  Minimal Zig-based app for Armv8-M + TrustZone
  ☆12Updated 5 years ago
• chipsalliance / caliptra-mcu-sw
  Caliptra MCU Software
  ☆14Updated this week
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆20Updated 2 weeks ago
• squeek502 / grindcov
  Code coverage for compiled binaries using Callgrind, mostly geared towards Zig code
  ☆16Updated 3 years ago
• ManyThreads / mythos
  Many Threads Operating System
  ☆18Updated 3 years ago
• Tersonous / R6X-GPU
  ☆12Updated 2 months ago
• ahgamut / cosmo-gcc-plugin
  A GCC plugin to help build C code with Cosmopolitan Libc
  ☆15Updated last year
• binary-translation / lasagne-proofs
  Architecture mapping proofs written in Agda for the paper "Lasagne: A Static Binary Translator for Weak Memory Model Architectures"
  ☆13Updated 3 years ago
• charlottia / hdx
  HDL development environment on Nix.
  ☆25Updated 7 months ago
• machdyne / kakao
  Kakao Linux
  ☆35Updated last week
• microsoft / checkedc-musl
  This repo contains a version of musl that is being modified to Checked C. Checked C is an extension to C that adds checking to detect or …
  ☆23Updated last year
• ahgamut / gcc
  ☆16Updated last month
• lupyuen / tcc-riscv32-wasm
  TCC (Tiny C Compiler) for 64-bit RISC-V, compiled to WebAssembly with Zig Compiler
  ☆44Updated last year
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆26Updated 10 years ago
• hshq / harelang-harec
  A macos port of the hare language's compiler (https://harelang.org). See README.darwin.
  ☆20Updated 6 months ago
• rochus-keller / Algol60
  A parser and code editor with syntax coloring for Algol 60 written in Qt
  ☆13Updated last year
• genodelabs / goa
  Tool for streamlining the development of Genode applications
  ☆23Updated 2 weeks ago
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆17Updated 3 months ago
• PNDeb / pinenote_dbus_service
  A dbus daemon for controlling some driver aspects related to the Pine64 Pinenote
  ☆11Updated 2 months ago
• rochus-keller / TccGen
  A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …
  ☆14Updated last year
• kubkon / zig-snapshots
  Preview Zig's incremental linker state in interactive HTML
  ☆45Updated 3 years ago
• joaoneto / lua-libuv
  laboratório de integração Lua com libuv para execução de scripts assíncronos e experimentação de POCs
  ☆16Updated 4 months ago
• anatol / menuconfig
  Out-of-tree version of Linux' kconfig tool
  ☆17Updated 11 months ago