Determination: Rust typecheckers for System F and System F-omega

An attempt at making type checkers for System F and System Fω. Based largely off of Pierce’s Types And Programming Languages reference implementations, available here. I ported them from OCaml to Rust, mainly ’cause I find that a good way to go through … Read more

Read full article

Similar

Oxlint – written in Rust – 50-100 Times Faster than ESLint

A collection of high-performance JavaScript tools written in Rust... (more…)

Rust vs. C++

Rust vs C++, the age old debate. It's something I've been intimately struggling with this past year. (more…)

Developing with Rust on Windows (Windows API Tutorial)

Get started developing with Rust using Windows, including setup for your development environment, Rust for Windows, and code examples. (more…)

rpgp: Pure Rust Implementation of OpenPGP

Pure rust implementation of OpenPGP. Contribute to rpgp/rpgp development by creating an account on GitHub. (more…)

Maturin: Build and publish Rust binaries as Python packages

Build and publish crates with pyo3, rust-cpython and cffi bindings as well as rust binaries as python packages - GitHub - PyO3/maturin: Build and publish crates with pyo3, rust-cpython and cffi bin... (more…)

Latest News

AI Hallucination in Filings Involving … Law Firm Lead to $31K in Sanctions

Audible is using AI narration to help publishers crank out more audiobooks

TikTok AI Alive