OCaml Rust Projects

comby

3 2,265 0.0 OCaml

A code rewrite tool for structural search and replace that supports ~every language.

Project mention: Meet ast-grep: a Rust-based tool for code searching, linting, rewriting using AST | /r/rust | 2023-05-11

How does it compare to https://github.com/comby-tools/comby, which can work on languages it doesnt even have grammars for (to a degree)

hax

3 127 9.9 OCaml

A Rust verification tool

Project mention: Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec | news.ycombinator.com | 2024-03-23

I have no idea what the legal weight is for a toml field so this repo really would benefit from having a formal copy of the Apache-2 license file https://github.com/hacspec/hax/blob/2da100068e9ae5e69e5b35bb... similar to its MIT friend https://github.com/hacspec/hacspec/blob/4ecc847fc944fe996e19...

InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).