Skip to content
View nzhenev's full-sized avatar

Block or report nzhenev

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

Starred repositories

10 stars written in OCaml
Clear filter

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

OCaml 2,599 70 Updated Aug 23, 2025

Tidy, feature-complete Web framework

OCaml 1,815 154 Updated Jan 29, 2026

Simple high-level language for writing Internet Computer canisters

OCaml 574 119 Updated Feb 4, 2026

The HOL Light theorem prover

OCaml 501 86 Updated Jan 30, 2026

Visual Studio Code extension for Coq

OCaml 432 93 Updated Dec 10, 2025

A quick and small language compiled to JavaScript/C. Easy to integrated with the Web Ecosystem.

OCaml 67 3 Updated Apr 11, 2022

A language for certifying specification

OCaml 14 Updated Sep 27, 2023

A stream processing language and compiler for small-scale monitoring

OCaml 14 4 Updated Mar 14, 2025

Partial Python Compiler with OCaml and LLVM

OCaml 4 2 Updated Jun 9, 2022

Example of embedding TypeScript as an EDSL inside of another language

OCaml 2 Updated Feb 12, 2023