LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Builders

Soteria Tools Ltd.

Sacha Ayoun

CTO of Soteria Tools Ltd. and postdoctoral research at Imperial College London

GitHubWebsite
Followers
60
Public repos
114
Stars (recent)
1
Ecosystems
1

Projects

Repositories this builder owns.

vscode-ocaml-platform
Visual Studio Code extension for OCaml
—
ocaml-lsp
OCaml Language Server Protocol implementation
—
ppx-matches
PPX syntax for Rust's `matches!` in OCaml 🐪
1
soteria
Sound static analysis for the masses.
—

Connected narratives

AI AgentsConsumer CryptoSocialFiStablecoinsAgent CommerceOnchain Apps

Related builders

Others building in the same ecosystem.

Jesse Pollak
1.3K followers
0xDeployer
— followers
Xen
— followers
Ahaan Raizada
— followers
Youssef
— followers
Igor Yuzo
— followers
ocaml.org-1
The official OCaml website.
—
landmarks
A Simple Profiling Library for OCaml
—
deadline-manager
No description.
—
ppx_deriving
Type-driven code generation for OCaml
—

Recent activity

Most recently pushed work.

  • giltho/vscode-ocaml-platform
    pushed 3d ago
  • giltho/ocaml-lsp
    pushed 3d ago
  • giltho/ppx-matches
    pushed 5d ago
  • giltho/soteria
    pushed 24d ago