Forwarded from Programming Deadlock
mimalloc: A general purpose allocator with excellent performance characteristics. Initially developed by Daan Leijen for the runtime systems of the Koka and Lean languages.https://github.com/microsoft/mimalloc/
GitHub
GitHub - microsoft/mimalloc: mimalloc is a compact general purpose allocator with excellent performance.
mimalloc is a compact general purpose allocator with excellent performance. - microsoft/mimalloc
Visual Programming with Interaction Nets
https://repositorium.sdum.uminho.pt/bitstream/1822/14408/1/article_20.pdf
https://repositorium.sdum.uminho.pt/bitstream/1822/14408/1/article_20.pdf
Forwarded from Programming Deadlock
Research on theory of programming languages Ξ», compilers, interpreters, functional programming, formal methods, logic etc.
https://github.com/veyselusta/programming-language-research
https://github.com/veyselusta/programming-language-research
GitHub
GitHub - veyselusta/programming-language-research: Research on theory of programming languages Ξ», compilers, interpreters, functionalβ¦
Research on theory of programming languages Ξ», compilers, interpreters, functional programming, formal methods, logic etc. - veyselusta/programming-language-research
Forwarded from Programming Deadlock
Writing a very simple JIT Compiler in about 1000 lines of C
https://kuterdinel.com/writing-a-very-simple-jit-compiler-in-about-1000-lines-of-c.html
https://kuterdinel.com/writing-a-very-simple-jit-compiler-in-about-1000-lines-of-c.html
Kuterdinel
Writing a very simple JIT Compiler in about 1000 lines of C
I demonstrate how you can write a simple JIT (Just In Time) compiler for x86 in about 1000 lines of C code.
Forwarded from Programming Deadlock
The keys to a successful Webassembly deployment
https://queue.acm.org/detail.cfm?id=3746171
https://queue.acm.org/detail.cfm?id=3746171
Forwarded from Programming Deadlock
Hacking Coroutines into C
https://wiomoc.de/misc/posts/hacking_coroutines_into_c.html
https://wiomoc.de/misc/posts/hacking_coroutines_into_c.html
Forwarded from Programming Deadlock
frama-c-wp-tutorial-en.pdf
3.1 MB
C program proofs with Frama-C and its weakest-precondition plugin
https://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf
https://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf