Alternatives and similar repositories for twilco.github.io:

Users that are interested in twilco.github.io are comparing it to the libraries listed below

• burtonsamograd / anser
  A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…
  ☆14Updated 6 years ago
• keystone-enclave / riscv-pk
  Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready
  ☆36Updated 3 years ago
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆14Updated last month
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 2 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆24Updated 2 years ago
• stephank / rvsim
  A RISC-V simulator implementing RV32G[C].
  ☆34Updated last year
• depp / elf2dos
  Convert ELF executables to DOS executables
  ☆31Updated 5 years ago
• gamozolabs / riscv
  A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt
  ☆29Updated 4 years ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆80Updated 3 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆49Updated 3 years ago
• betrusted-io / betrusted-ec
  Betrusted embedded controller (UP5K)
  ☆45Updated last year
• libresilicon / PearlRiver
  1st Testwafer for LibreSilicon
  ☆28Updated 5 years ago
• whitequark / zs
  ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin
  ☆16Updated 9 years ago
• seL4 / sel4-tutorials
  Tutorials for working with seL4 and/or CAmkES.
  ☆53Updated 3 weeks ago
• BillBohan / NISC
  A single instruction set processor architecture
  ☆18Updated 7 years ago
• blitz / kernel_entry_benchmark
  Microbenchmarks for x86_64 kernel entry methods
  ☆18Updated 2 years ago
• ku-fpg / kansas-lava
  Kansas Lava
  ☆46Updated 5 years ago
• system76 / ecflash
  Flashing and querying with System76 Embedded Controllers
  ☆20Updated last month
• rems-project / sail-arm
  Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
  ☆74Updated this week
• leviathanch / qtflow
  A Qt5 based free VLSI development tool
  ☆30Updated 6 years ago
• mgajda / clash-yosys-demo
  Deploying Haskell to Lattice iCE40 using fully open source toolchain
  ☆13Updated 8 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• richfelker / cowpatch
  ☆17Updated 4 years ago
• lowRISC / abicop
  Work towards a "golden model" of the RISC-V calling convention(s)
  ☆10Updated 7 years ago
• philzook58 / nand2coq
  Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
  ☆54Updated 3 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆51Updated 4 years ago
• m4tx / uefi-jitfuck
  A JIT compiler for Brainfuck running on x86_64 UEFI
  ☆85Updated 6 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• q3k / qfc
  q3k's hardware monorepo
  ☆16Updated 2 years ago