Automated generation of provably secure, zero-copy parsers from format specifications

The Pulse separation logic DSL for F*

Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.

⅋ — session types for Rust

High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus

A secure embedded operating system for microcontrollers

A curated list of Rust code and resources.

Empowering everyone to build reliable and efficient software.

Verified Rust for low-level systems code

A custom parser/auto-formatter for Standard ML

Collection of Summer 2026 tech internships!

Mostly adequate guide to FP (in javascript)

deployment for smlhelp page

Flow is a website that lets you plan courses with friends.

Production-ready all-in-one react typescript boilerplate code generator, with babel 7, webpack 5, prettier, eslint, stylelint, commitlint, lint-staged, and husky.

https://tuixue.online/visa/ A Real-time Display of U.S. Visa Appointment Status Website 预约美帝签证各个签证处最早时间的爬虫

A curated list of action recognition and related area resources

本项目将《动手学深度学习》(Dive into Deep Learning)原书中的MXNet实现改为PyTorch实现。