LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Racket

plt-stuff

Racket stuff I made, which I think is interesting enough to share

RacketEmerging

Stars

10

Forks

—

Contributors

1

Last push

155mo ago

Recent commits

Latest commits.

Added tests for Lyric Labs presentation
47713abntoronto155mo ago
Detect deferred \eta lifts to speed up pure expressions
5d9801bntoronto155mo ago
Deferred bottom* and preimage* lifts (using \eta) until run
e237887ntoronto155mo ago
Added termination tests
9b9908fntoronto155mo ago
Unwrapped bottom and preimage arrows
e3da99antoronto155mo ago

Wrapped bottom and preimage arrow computations in structs

9ceb794ntoronto155mo ago

Added floor, ceiling, round, truncate; narrowed R->R preimages

e7cdcdcntoronto155mo ago

Added arithmetic soundness tests, fixed -inf, +inf and nan handling

1c55363ntoronto155mo ago

Top contributors

Builders behind this project.