stephenrkell / donald

Related projects: ⓘ

• allvm / allvm-tools
  ALLVM Tools
  ☆55Updated 2 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆100Updated last week
• nitrousjit / nitrous
  ☆39Updated this week
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆51Updated 4 years ago
• utsaslab / nofs
  The No-Order File System (NoFS)
  ☆47Updated 11 years ago
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆34Updated 7 years ago
• attresearch / yakker
  ☆22Updated 12 years ago
• richfelker / usand
  usand - convenient and minimal unshare(1)-based sandbox
  ☆57Updated 3 years ago
• andrewchambers / qc
  quick c
  ☆34Updated 2 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆22Updated 2 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆43Updated 3 years ago
• burtonsamograd / anser
  A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…
  ☆14Updated 6 years ago
• SNSystems / dexter
  DExTer - Debug Experience Tester
  ☆33Updated 2 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆26Updated last month
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆35Updated last year
• graydon / exhaustigen
  ☆10Updated 2 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 4 years ago
• whitequark / lend
  Allocator
  ☆9Updated 8 years ago
• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆53Updated 4 months ago
• rminnich / NxM
  NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu
  ☆43Updated 4 months ago
• kstenerud / bit-tricks
  Various tricks for dealing with bits
  ☆22Updated 4 years ago
• andreiw / ppc64le_hello
  ``Hello World'' for a Little-Endian OpenPower world (freestanding)
  ☆18Updated 7 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆52Updated 6 years ago
• regehr / nibble-sort
  Many functions in C for sorting the nibbles in an 8-byte word
  ☆32Updated 9 years ago
• sgielen / cosix
  A fully capability-based operating system
  ☆27Updated 5 years ago
• lovasko / libctf
  BSD-licensed CTF Implementation
  ☆19Updated 9 years ago
• stefanheule / x86_64-instruction-count
  How many x86_64 instructions are there anyway?
  ☆22Updated 8 years ago
• q3k / qfc
  q3k's hardware monorepo
  ☆17Updated 2 years ago
• mhsys / mh
  MH: a microkernel for fun and experimenting!
  ☆30Updated 6 years 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…
  ☆17Updated this week