LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Builder

Charles Santos

CKS | LFCE | CKA | LFCS | CKAD

Followers

6

Public repos

108

Stars (recent)

—

Ecosystems

1

Projects

Repositories this builder owns.

No description.

A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]

mpt-grifo-check

Based on version 1.66 from Pablo Souza

This project is a server that aim to sync a git repository by webhook to automate dev and stg environments

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

Variability-Aware Lifting of Functional Programs.

delete-package-versions

No description.

unb-gdrive-videoloader

Download videos from Google Drive effortlessly, including view-only videos, with resumable downloads and progress bars.

thyarles.github.io

My personal site... It is a work in progress, please, be patient.

Recent activity

Most recently pushed work.

thyarles/thyarles
pushed 7h ago
thyarles/unb-trocq
pushed 7d ago
thyarles/mpt-grifo-check
pushed 8d ago
thyarles/gitshook
pushed 2mo ago