LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

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

Aarhus University

Philipp G. Haselwarter

Researcher in programming languages, logic, security.

GitHubWebsite
Followers
28
Public repos
44
Stars (recent)
—
Ecosystems
1

Projects

Repositories this builder owns.

iris-project
No description.
—
coqdepgraph
No description.
—
texpresso
TeXpresso: live rendering and error reporting for LaTeX
—
fm-crypto-lib
No description.
—

Connected narratives

AI AgentsConsumer CryptoSocialFiStablecoinsAgent CommerceOnchain Apps

Related builders

Others building in the same ecosystem.

Jesse Pollak
— followers
0xDeployer
— followers
Xen
— followers
Ahaan Raizada
— followers
Youssef
— followers
Igor Yuzo
— followers
themes
A megapack of themes for GNU Emacs.
—
clutch
A probabilistic relational separation logic with support for asynchronous couplings.
—
PG
This repo is the new home of Proof General
—
zsh-tmux-auto-title
ZSH plugin for tmux that automatically sets the title of windows/panes as the current foreground command.
—

Recent activity

Most recently pushed work.

  • haselwarter/iris-project
    pushed 2mo ago
  • haselwarter/coqdepgraph
    pushed 14mo ago
  • haselwarter/texpresso
    pushed 16mo ago
  • haselwarter/fm-crypto-lib
    pushed 16mo ago