Programming Deadlock
1.59K subscribers
3 photos
124 files
1.29K links
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
coqasm.pdf
296.9 KB
Coq: The worldโ€™s best macro assembler?
๐Ÿ’ฏ7๐Ÿคฏ1
SectorC: A C Compiler in 512 bytes
https://xorvoid.com/sectorc.html
๐Ÿค”1๐Ÿ‘พ1
โค7๐Ÿ˜5
๐Ÿ‘3๐Ÿคฏ1
P10.pdf
36.4 KB
The Power of Ten: Rules for Developing Safety Critical Code (NASA)
๐Ÿ”ฅ5๐Ÿ—ฟ2
paramorphism-synthesis.pdf
370.6 KB
Recursive Program Synthesis using Paramorphisms
https://dl.acm.org/doi/pdf/10.1145/3656381
๐Ÿ”ฅ2
unification-and-anti-CoC.pdf
168.7 KB
Unification and Anti-Unification in the Calculus of Constructions
https://www.cs.cmu.edu/~fp/papers/lics91.pdf
๐Ÿ™2๐Ÿ‘1๐Ÿ”ฅ1