Virtual Machines

Feeds to Scour
SubscribedAll
Scoured 54 posts in 7.0 ms

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

 🔍Reverse Engineering  Content type: Code
github.com··Hacker News

ArturR0k3r/AkiraOS: AkiraOS is a modular, security-focused embedded platform for resource-constrained devices. Built on Zephyr RTOS with WebAssembly (WASM) runtime support and OCRE container technology

 🎛️Microcontrollers  Content type: Code
github.com··Hacker News

Rayforce

 📞System Calls  Content type: Code
github.com··Lobsters, Hacker News

HenryNebula/jaydebeapiarrow: JayDeBeApiArrow - High-Performance JDBC to Python DB-API Bridge

 🦀Rust  Content type: Code
github.com··Hacker News

Release v0.0.2-alpha · VxidDev/Arc

 🛡️Memory Safety  Content type: Code
github.com··Hacker News

Rcarmo/womprat: A single-binary Windows client to access machines on a tailnet

 💻operating systems  Content type: Code
github.com··Hacker News
Less-relevant results

xuelinger2333/flutter_patcher: Self-hosted Android-only Flutter hot-update plugin: patch libapp.so on next cold start with integrity checks and crash rollback.

 🔍Ghidra  Content type: Code
github.com··Hacker News

mingusb/transformer-golf: The Fully Unrolled Transformer: An experimental repository for architecture simplification and compilation. [2026]

 🧠Neural Networks  Content type: Code
github.com··Hacker News

franz1981/Netty-VirtualThread-Scheduler: A novel integration between Netty and Virtual Threads

 💻operating systems  Content type: Code
github.com··Hacker News

Blanket: A library for writing deterministic tests of multithreaded Python code

 🦀Rust  Content type: Code
github.com··Hacker News

Is anyone here interested in contributing to this OS?

 💻operating systems  Content type: Code
github.com··Hacker News

almet/signal-without-smartphone: Use Signal without a smartphone!

 🔐Hardware Security  Content type: Code
github.com··Hacker News

shcherbak-ai/licenseal: Fast cross-ecosystem dependency license compatibility checker + Claude Code review skill

 🦀Rust  Content type: Code
github.com··Hacker News

geo-tp/ESP32-Bit-Pirate: A Hardware Hacking Tool with Web-Based CLI That Speaks Every Protocol

 🎛️Microcontrollers  Content type: Code
github.com··Hacker News

No more posts from x64k's subscribed feeds.

Scour all 25257 feedsLearn more about Feeds

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help