LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Galois, Inc.

Valentin Robert

Programming Languages and Software Verification

GitHub @Ptival Website

Followers

120

Public repos

143

Stars (recent)

5

Ecosystems

1

Projects

Repositories this builder owns.

xenogears-decomp

Matching decompilation project for Xenogears

The Vellvm (Verified LLVM) coq development.

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Personal configuration files

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

Toy GameBoy emulator, in Rust

lean-large-match

MWE for some Lean4 limitation around large mutual pattern matching

zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements

check_cabal_project_and_stack_yaml_match

Script for catching repo/commit discrepancies between a stack.yaml and cabal.project

Recent activity

Most recently pushed work.

Ptival/xenogears-decomp
pushed 14d ago
Ptival/vellvm
pushed 20d ago
Ptival/haskell-language-server
pushed 1mo ago
Ptival/config
pushed 2mo ago