Alternatives and similar repositories for armls:

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

• llvm / llvm-lnt
  ☆31Updated last month
• andreas-abel / XED-to-XML
  XML representation of the x86 instruction set
  ☆28Updated this week
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆36Updated this week
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• dougallj / asil
  ☆29Updated 10 months ago
• shacron / sled
  Sled System Emulator
  ☆28Updated 2 months ago
• jeremysinger / capabilitiesforcoders
  Open-source textbook about CHERI capabilities, for a developer audience
  ☆16Updated 7 months ago
• YoWASP / clang
  Unofficial clang WebAssembly packages
  ☆16Updated 9 months ago
• renesas-rz / rz_linux-cip
  ☆10Updated 3 weeks ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• maerhart / llhd
  A low-level intermediate representation for hardware description languages
  ☆28Updated 4 years ago
• WojciechMula / ternarylogiccli
  CLI utilty to work out proper constants for vpternlogic instruction
  ☆13Updated 2 years ago
• lowRISC / manticore
  ☆16Updated 3 years ago
• opencompl / mlir-fuzz
  A enumerator for MLIR, relying on the information given by IRDL.
  ☆19Updated 3 weeks ago
• atrosinenko / memtest86-plus-riscv
  Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)
  ☆15Updated 5 years ago
• ocxtal / insn_bench_aarch64
  Instruction latency & throughput profiler for AArch64
  ☆34Updated last year
• rems-project / sail-arm
  Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
  ☆79Updated 3 weeks 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…
  ☆31Updated this week
• gatecat / subprime
  ☆16Updated 3 years ago
• doubleodd / c-do255
  Implementations of do255e and do255s in C and assembly
  ☆25Updated 3 years ago
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆41Updated last week
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated 9 months ago
• makslevental / mmlir
  A minimal (really) out-of-tree MLIR example
  ☆44Updated 2 weeks ago
• IntelLabs / c3-simulator
  C3-Simulator is a Simics-based functional simulator for the X86 C3 processor, including library and kernel support for pointer and data e…
  ☆18Updated last month
• slothy-optimizer / slothy
  Assembly super-optimization via constraint solving
  ☆188Updated last week
• pydrofoil / pydrofoil
  A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one
  ☆69Updated this week
• mc-imperial / dredd
  A mutation testing tool designed to work with large C++ (and C) codebases.
  ☆13Updated 2 months ago
• unikraft / lib-lwip
  Unikraft port of the lwip network stack
  ☆14Updated this week
• tudasc / MetaCG
  MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.
  ☆40Updated this week