LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

@imandra-ai

Christoph M. Wintersteiger

@wintersteiger · London, UK

Followers

95

Public repos

49

Stars (recent)

6

Ecosystems

—

Projects

Repositories this builder owns.

Wrapper around the OCaml `lsp` library to make it easier to write LSP servers

The Z3 Theorem Prover

1

materials available to the public

publish-extensions

Scripts for publishing VS Code extensions to open-vsx.org

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

opam-repository

Main public package repository for opam, the source package manager of OCaml.

—

tree-sitter-ocaml

OCaml grammar for tree-sitter

OCaml bindings to the SQLite3 database

A library of C++ templates for rapid prototyping of boiler thermostats

Recent activity

Most recently pushed work.

wintersteiger/linol
pushed 3mo ago
wintersteiger/z3
pushed 4mo ago
wintersteiger/Public
pushed 11mo ago
wintersteiger/publish-extensions
pushed 12mo ago