Skip to content
View 000MatthewJamesKalasky's full-sized avatar

Block or report 000MatthewJamesKalasky

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
8 stars written in OCaml
Clear filter

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

OCaml 13,632 842 Updated Dec 17, 2025

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

OCaml 2,582 69 Updated Aug 23, 2025

Hardcaml is an OCaml library for designing hardware.

OCaml 926 51 Updated Nov 20, 2025

[Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml

OCaml 119 8 Updated Dec 19, 2020

Automated reasoning for React/ReasonML

OCaml 116 4 Updated Jan 4, 2023

OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

OCaml 5 2 Updated Dec 8, 2025

Register Transfer Level Hardware Design in OCaml

OCaml 1 Updated Nov 17, 2015

Hardcaml is an OCaml library for designing hardware.

OCaml 1 Updated Feb 9, 2024