Skip to content
View simsieg's full-sized avatar

Highlights

  • Pro

Organizations

@hyrise @hpi-swa-teaching @BPChain @ecoify @data-driven-choreographies

Block or report simsieg

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

6 stars written in OCaml
Clear filter

Adds static typing to JavaScript to improve developer productivity and code quality.

OCaml 22,208 1,885 Updated Dec 19, 2025

Performant type-checking for python.

OCaml 7,131 452 Updated Dec 18, 2025

The core OCaml system: compilers, runtime system, base libraries

OCaml 6,094 1,191 Updated Dec 18, 2025

A composable build system for OCaml.

OCaml 1,812 456 Updated Dec 19, 2025

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson

OCaml 157 33 Updated Feb 24, 2021

Tezos smart contract & dapp development toolkit

OCaml 67 8 Updated Jan 3, 2023