This is stars and forks stats for /Plutonomicon/plutarch-plutus repository. As of 09 May, 2024 this repository has 111 stars and 61 forks.
Plutarch Plutarch is a typed eDSL in Haskell for writing efficient Plutus Core validators. Continue to our website Why Plutarch? Plutarch written validators are often significantly more efficient than Plutus Tx written validators. With Plutarch, you have much more fine gained control of the Plutus Core you generate, without giving up any type information. To put things into perspective, one validator script from a large production contract was rewritten in Plutarch, changed from Plutus Tx. Here's...
Plutarch Plutarch is a typed eDSL in Haskell for writing efficient Plutus Core validators. Continue to our website Why Plutarch? Plutarch written validators are often significantly more efficient than Plutus Tx written validators. With Plutarch, you have much more fine gained control of the Plutus Core you generate, without giving up any type information. To put things into perspective, one validator script from a large production contract was rewritten in Plutarch, changed from Plutus Tx. Here's...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| flora-pm/flora-server | HaskellCSSJavaScript | 102 | 0 | 38 | 0 |
| UnBParadigmas2022-1/2022.1_G5_Funcional_JaoDelivery | HaskellMakefile | 2 | 0 | 1 | 0 |
| channable/dbcritic | IdrisNixMakefile | 167 | 0 | 3 | 0 |
| ejgallego/coq-lsp | OCamlTypeScriptCoq | 105 | 0 | 19 | 0 |
| vinceliuice/grub2-themes | ShellNix | 2.7k | +10 | 212 | 0 |
| Shopify/asls | ElixirNixOther | 53 | 0 | 4 | 0 |
| awkward-squad/ki | Haskell | 71 | 0 | 4 | 0 |
| martinescardo/HoTTEST-Summer-School | TeXAgdaHTML | 246 | 0 | 63 | 0 |
| EffectOrientedProgramming/book | ScalaCSSJavaScript | 204 | 0 | 12 | 0 |
| litherum/http-conduit-browser | Haskell | 0 | 0 | 4 | 0 |