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