LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Haskell

spdx

SPDX license expression language - Haskell implementation

HaskellEmerging

Stars

5

Forks

6

Contributors

2

Last push

1mo ago

Recent commits

Latest commits.

Merge pull request #63 from phadej/ghc-9.14
034aaf7Oleg Grenrus1mo ago
Support GHC-9.14
a3b916bOleg Grenrus1mo ago
Merge pull request #61 from phadej/puresat
796ee6aOleg Grenrus22mo ago
Use puresat
2839b1cOleg Grenrus22mo ago
Merge pull request #60 from phadej/trail
9e8908aOleg Grenrus22mo ago

Rework initial unit propagation

9e6a043Oleg Grenrus22mo ago

Merge pull request #59 from phadej/bounds

a49629aOleg Grenrus22mo ago

Add primitive bounds checks

28277fbOleg Grenrus22mo ago

Top contributors

Builders behind this project.