这是indexloc提供的服务,不要输入任何密码
Skip to content
View vasucp1207's full-sized avatar
🦀
🦀

Organizations

@jotaijs @vicharak-in @fury-lang

Block or report vasucp1207

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Starred repositories

15 results for source starred repositories written in OCaml
Clear filter

Systems language with linear types and capability-based security.

OCaml 1,362 50 Updated Jul 28, 2025

V2 of Real World OCaml

OCaml 1,228 178 Updated Jul 8, 2024

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

OCaml 848 143 Updated May 22, 2025

Hardcaml is an OCaml library for designing hardware.

OCaml 810 49 Updated Jun 12, 2025

A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮

OCaml 616 38 Updated Mar 10, 2025

Bolt is a language with in-built data-race freedom!

OCaml 599 56 Updated Nov 24, 2023

OCaml - Oxidized!

OCaml 429 112 Updated Jul 30, 2025

A compiler for a tiny (but growing!) subset of C, written in OCaml.

OCaml 292 19 Updated Jul 14, 2022

Modern scientific computing for OCaml

OCaml 280 19 Updated Jul 27, 2025

Symbolic execution for Wasm, C, C++, Rust and Zig

OCaml 245 34 Updated Jul 23, 2025

Reference implementation for Writing a C Compiler

OCaml 178 26 Updated Feb 12, 2025

EGraphs in OCaml

OCaml 66 8 Updated Jan 20, 2024

An SMT solver frontend for OCaml

OCaml 42 13 Updated Jul 26, 2025

Geometry types

OCaml 30 11 Updated Jan 6, 2021