A package to generate Verilog/SystemVerilog code on Julia.

A new (MLIR based) high-level IR for clang.

take_care_of_the_rest / あとは任せた proc-macro of Rust

Toy ML-style langauge for staged computation with refined environment classifiers

moved from https://sourceforge.net/p/min-caml/code/

A mincaml port written in Rust (reference implementation)

セキュリティ・キャンプ 2024 ネクスト講義 N2『C++ ライブラリ開発』資料

cpprefjpサイトのMarkdownソース

Define compiler intermediate representation usable by external tools

HACL*, a formally verified cryptographic library written in F*

General-purpose C++ graph library

Rust libraries for Bluesky's AT Protocol services.

📝🤖 Simple, efficient and most importantly elegant TODO Bot. A virtual TODO List right inside your Discord server!

A statically-typed, functional typesetting system

Service Workers

Utility to simplify the creation of range adaptors after C++20

A work in progress bridge/proxy that lets you use Mastodon apps with Bluesky

Flexible deriving macro for new-type pattern.

unfork(2) is the inverse of fork(2). sort of.

Sets of libraries and tools to write applications and libraries mixing OCaml and Rust. These libraries will help keeping your types and data structures synchronized, and enable seamless exchange be…

a model of MIR and the Rust type/trait system

Hot is macOS menu bar application that displays the CPU speed limit due to thermal issues.

ディープラーニングモデルの性能を体系的に最大化するためのプレイブック

Port of OpenAI's Whisper model in C/C++

Generic model checker for concurrent C programs (mirror repository)