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

Summer 2026 software engineering, data science, AI, quant, product management, and hardware internship postings. Updated daily by Simplify and Pitt CSC.

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实现。