An OCaml library providing a C parser and lexer

X.509 parser written in pure Rust. Fast, zero-copy, safe.

The DokuWiki Open Source Wiki Engine

A modern Prolog implementation written mostly in Rust.

🧡 Follow your favorites in one inbox

Rime Input Method Engine, the core library

The current, performant & industrial strength version of Holochain on Rust.

The Daedalus data description language

ClamAV - Documentation is here: https://docs.clamav.net

Tool for data extraction and interacting with Lean programmatically.

Timely Dataflow and Differential Dataflow 101

Language development libraries for Rust

JIT compiler and runtime for a toy language, using Cranelift

Migrate C code to Rust

Rime输入法安装脚本，让一切更轻松。Make using Rime easy.

A powerful and user-friendly binary analysis platform!

The Core Flight System (cFS) Operating System Abstraction Layer (OSAL)

The Core Flight System (cFS)

An unofficial userspace driver for HID++ Logitech devices

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

Inference Llama 2 in one file of pure C

Code for my talks on the No Boilerplate channel

Implementation of the Cedar Policy Language

Efficient and minimal collaborative code editor, self-hosted, no database required

Defines the Rust borrow checker.

Bringing stable diffusion models to web browsers. Everything runs inside the browser with no server support.

Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.

Bitcoin–Monero Cross-chain Atomic Swap

Keepass plugin that performs offline and online checks against HaveIBeenPwned passwords

💬 Render Disqus comments in Mainland China using Disqus API