LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

go-corset

A port of the Corset tool into Go

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

2mo ago

Recent commits

Latest commits.

feat: implement `MUL, MULH, MULHU, MULHSU, DIV, DIVU, REM, REMU 32 bits bench` (#1610)
b7083d3Lorenzo Gentile2mo ago
feat: improve pretty printing for ir (#1622)
335a887David Pearce3mo ago
support forward type propagation (#1620)
a4b7651David Pearce3mo ago
1613 blake implementation in zkc (#1617)
27ca8e9amkCha3mo ago
feat: support printf statement in zkc (#1618)
21282e3David Pearce3mo ago

feat: support variable title width in inspector (#1615)

763f308David Pearce3mo ago

feat: support logical combinators (#1611)

b6784a9David Pearce3mo ago

feat : constant and type alias cycle detection (#1596)

e19fecfamkCha3mo ago

Top contributors

Builders behind this project.

letypequividelespoubelles

lorenzogentile404

AlexandreBelling