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,196 1,884 Updated Nov 10, 2025

Performant type-checking for python.

OCaml 7,109 451 Updated Nov 10, 2025

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

OCaml 6,011 1,184 Updated Nov 9, 2025

A composable build system for OCaml.

OCaml 1,797 453 Updated Nov 10, 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