💻 Programming - akshaysiramdas · Scour

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

🌐Distributed Systems Code

github.com··Hacker News

The Complexity of Asynchronous HyperLTL

⚙Programming Language Design Academic

Indicator Go reached 1.1K stars, provides 80+ indicators and backtesting framework

⚙DevOps Code

VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents

🤖AI Academic

gammazero/cascadeq: Fast disk-backed FIFO queue for Go that buffers in memory and overflows to disk transparently.

⚡Zig Code

malikhan-dev/zenql: ZenQL is an internal DSL for Go that provides expressive querying and streaming pipelines over in-memory and async data sources. While inspired by the elegance of C# LINQ, it is built with its own identity, design principles, and performance‑oriented architecture—featuring a rich syntax that is native to Go.

⚙Programming Language Design Code

github.com··DEV

jdalang/jda-lang: Jda: A high-performance systems language bootstrapped from assembly. Beats C on sudoku & LZ77. Self-hosted compiler, no GC, built-in concurrency & ML.

⚙Instruction Set Code

github.com··DEV

Release v0.4.0 · mvm-sh/mvm

⚙Programming Language Design Code

juggle73/norm: Lightweight PostgreSQL SQL query helper for Go structs. Not an ORM. Works with pgx and database/sql.

⚙Programming Language Design Code

github.com··Hacker News

Log in to enable infinite scrolling