Programming Deadlock
1.47K subscribers
3 photos
104 files
1.19K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
Miri: An experimental interpreter for Rust's mid-level intermediate representation (MIR). It can run binaries and test suites of cargo projects and detect certain classes of undefined behavior
https://github.com/rust-lang/miri
🤔5😨1
Higher-order Virtual Machine: HVM is a pure functional runtime that is lazy, non-garbage-collected and massively parallel. It is also beta-optimal, meaning that, for higher-order computations, it can, in some cases, be up to exponentially faster than alternatives, including Haskell's GHC.
https://github.com/HigherOrderCO/HVM
bdwgc: A garbage collector for C and C++
https://www.hboehm.info/gc/
The Joy of Abstraction book club: Introduction about Category Theory
https://topos.site/joa-bookclub/
👍3
Few lesser known tricks, quirks and features of C
https://blog.joren.ga/less-known-c
Low-Level Software Security for Compiler Developers
https://llsoftsec.github.io/llsoftsecbook/
Datatype99: Safe, intuitive algebraic data types with exhaustive pattern matching & compile-time introspection facilities. No external tools required, pure C99.
https://github.com/Hirrolot/Datatype99