Find out how C++23's Deducing this feature can help make your code better.

Stabilizer: Rigorous Performance Evaluation. Contribute to ccurtsinger/stabilizer development by creating an account on GitHub.

Fast, compiled, eval-free data validator/transformer - GitHub - iyegoroff/spectypes: Fast, compiled, eval-free data validator/transformer

Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and elim...

Migrate C code to Rust. Contribute to immunant/c2rust development by creating an account on GitHub.

Koka language compiler and interpreter. Contribute to koka-lang/koka development by creating an account on GitHub.

We introduce Perceus, an algorithm for precise reference counting with reuse and specialization. Starting from a functional core language with explicit control-flow, Perceus emits precise reference counting instructions such that programs are _garbage free_…

Rust without cargo, with the idea of eventually stopping wasting energy. Some WIP experiments into making rust work with Guix properly.

Go assembly and source viewer. Contribute to loov/lensm development by creating an account on GitHub.

Collected tips from building the Austral compiler.

On the incompatibility of linear types and traditional exception handling.

"Prefer readability over premature optimization" is a popular developer mantra, but the mantra also implies that the two are mutually exclusive. Does this assumption actually hold true when we are dealing with hard-to-parse one-liners?

Vala is an object-oriented programming language with a self-hosting compiler that generates C code and uses the GObject type system.

JavaScript is getting very popular now. Let’s take a closer look at JavaScript engines and how they work. This story is about Parsing step.

The first part of this story: Inside JavaScript Engines, Part 1: Parsing