Skip to content
View sueszli's full-sized avatar

Organizations

@matchyOrg

Block or report sueszli

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Starred repositories

8 stars written in OCaml
Clear filter

Hardcaml is an OCaml library for designing hardware.

OCaml 1,007 56 Updated Apr 6, 2026

A verification toolchain for Rust programs

OCaml 729 68 Updated Apr 27, 2026

OCaml - Oxidized!

OCaml 712 142 Updated Apr 30, 2026

KaRaMeL is a tool for extracting low-level F* programs to readable C code

OCaml 505 71 Updated Apr 30, 2026

Zero heap allocation HTTP server using OxCaml. v experimental!

OCaml 120 3 Updated Jan 25, 2026
OCaml 4 1 Updated Jun 26, 2025

A c++ inspired programming language for scientific computing

OCaml 3 Updated Aug 17, 2025

A brain fuck interpreter, with some optimizations. Run on your own file or my test example (the mandelbrotset).

OCaml 3 Updated Jan 29, 2024