Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: hackage: size-based
5 versions
Latest release: over 1 year ago
8,983 downloads total
View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/size-based
Dependent Repos 13
contrevaloir/plutus
- * plutus-metatheory/plutus-metatheory.cabal
Size: 107 MB - Last synced: 9 months ago - Pushed: about 1 year ago
darrellcbrown/iohk
- * plutus-metatheory/plutus-metatheory.cabal
- * plutus-core/plutus-core.cabal
Size: 107 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
mattborghi/plutus Fork of IntersectMBO/plutus
The Plutus language implementation and tools- * plutus-core/plutus-core.cabal
Size: 90 MB - Last synced: 24 days ago - Pushed: about 1 year ago
cdfa/frugel
An error-tolerant live programming environment (my Master's thesis)- * frugel.cabal
Size: 4.71 MB - Last synced: 3 months ago - Pushed: almost 2 years ago
artemwright/Plutus.
- * plutus-core/plutus-core.cabal
- * plutus-metatheory/plutus-metatheory.cabal
Size: 64.8 MB - Last synced: 12 months ago - Pushed: about 3 years ago
tbenne10/plutus
This is a CLONE of Cardano's Plutus platform - this was to add our VendorPassthrough contract while keeping the project hidden for a little bit (hence no fork)- * plutus-metatheory/plutus-metatheory.cabal
- * plutus-core/plutus-core.cabal
Size: 94.9 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
codejones-hub/plutus
- * plutus-core/plutus-core.cabal
- * plutus-metatheory/plutus-metatheory.cabal
Size: 71.7 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
rmourey26/plutus
The Plutus language implementation and tools- * plutus-core/plutus-core.cabal
- * plutus-metatheory/plutus-metatheory.cabal
Last synced: about 1 year ago
jamescheuk91/plutus Fork of input-output-hk/plutus
The Plutus language implementation and tools- * plutus-metatheory/plutus-metatheory.cabal
Size: 111 MB - Last synced: 9 months ago - Pushed: about 1 year ago
bgamari/build-env
- 0.1.3.1 tests/SEEDS/cabal.config
Size: 271 KB - Last synced: 14 days ago - Pushed: about 1 year ago
michaelpj/plutus Fork of input-output-hk/plutus
- * plutus-metatheory/plutus-metatheory.cabal
Size: 131 MB - Last synced: 6 months ago - Pushed: 6 months ago
Tharun-tharun/plutus Fork of ahaxu/plutus
The Plutus language implementation and tools- * plutus-core/plutus-core.cabal
Size: 68.6 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
wenkokke/polygen
Efficient enumeration of polymorphic λ-terms from System Fω.- ==0.1.2.1 polygen.cabal
Size: 817 KB - Last synced: about 1 year ago - Pushed: over 2 years ago
wenkokke/talk-where-the-linear-lambdas-go 📦
wherein I look at the problem of generating random linear lambda terms- * eleanor.cabal
Size: 10.3 MB - Last synced: about 1 year ago - Pushed: over 5 years ago
babel-upm/evolutionary-generation-of-adts
- * g3.cabal
- * g3.cabal
- * g3.cabal
Last synced: 12 months ago
MatiFalcone/plutus Fork of input-output-hk/plutus
The Plutus language implementation and tools- * plutus-metatheory/plutus-metatheory.cabal
Size: 60.5 MB - Last synced: 10 months ago - Pushed: over 3 years ago
The-Blockchain-Company/zerepoch
- * zerepoch-core/zerepoch-core.cabal
- * zerepoch-metatheory/zerepoch-metatheory.cabal
Size: 20 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
yyko/plutus Fork of input-output-hk/plutus
The Plutus language implementation and tools- * plutus-core/plutus-core.cabal
Size: 87.9 MB - Last synced: 8 months ago - Pushed: almost 3 years ago
Simop4top/plutus Fork of input-output-hk/plutus
The Plutus language implementation and tools- * plutus-metatheory/plutus-metatheory.cabal
Size: 86.9 MB - Last synced: 8 months ago - Pushed: almost 3 years ago
javiertc/plutus Fork of input-output-hk/plutus
The Plutus language implementation and tools- * plutus-metatheory/plutus-metatheory.cabal
Size: 80.5 MB - Last synced: 7 months ago - Pushed: almost 3 years ago
juliajansson/BoFunComplexity
Associated code for paper "Level-p-complexity of Boolean Functions using Thinning, Memoization, and Polynomials" by Julia and Patrik Jansson.- >=0.1.3.0 BoFunComplexity.cabal
Size: 2.08 MB - Last synced: 5 months ago - Pushed: 5 months ago
JonasDuregard/lazy-search
The lazy-search Haskell library- ==0.1.* lazy-search.cabal
Size: 9.77 KB - Last synced: about 1 year ago - Pushed: over 4 years ago