LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

Strata

robin-aws/Strata

LeanEmerging

Stars

—

Forks

—

Contributors

8

Last push

2mo ago

Recent commits

Latest commits.

Remove MetaData from Laurel Identifier and AstNode (#1028)
312c0bakeyboardDrummer-bot2mo ago
Try labeling 'Git conflict' again if failed, bail out if two attempts fail (#1056)
40c3267Juneyoung Lee2mo ago
Support chained comparisons with evaluate-once semantics (#928)
546b76fkeyboardDrummer-bot2mo ago
Boole feature request seeds + bitwise operator lowering (#970)
260c3d7Lydia Kondylidou2mo ago
Concrete Core interpreter (#869)
89c8a8eRobin Salkeld2mo ago

Fix: enable `bool(x) == y` resolution and translate float literals (#951)

5ba4f7akeyboardDrummer-bot2mo ago

Add opaque keyword to Laurel grammar (#969)

fe45786Remy Willems2mo ago

Fix bool_*_interp reductions via concreteEval + native_decide (#1053)

2b1d708Jules Massart2mo ago

Top contributors

Builders behind this project.

andrewmwells-amazon