pact
alucard
Our great sponsors
pact | alucard | |
---|---|---|
3 | 1 | |
577 | 18 | |
0.0% | - | |
8.4 | 0.0 | |
8 days ago | over 1 year ago | |
Haskell | Common Lisp | |
BSD 3-clause "New" or "Revised" License | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
pact
-
PACT beginner guidance
Pact Language Reference: https://pact-language.readthedocs.io/en/stable/
- Lurk – Language for Recursive ZK-SNARKs Inspired by Common Lisp and Scheme
-
Updating Haskell Based Code Repo PACT
I have a project (with funding) that requires to use Haskell based contract language PACT. https://github.com/kadena-io/pact
alucard
-
Lurk – Language for Recursive ZK-SNARKs Inspired by Common Lisp and Scheme
hi this is very interesting. why is there a common lisp and rust version? digging through i also found Alu [0], another common lisp project for zk circuits. since you are using common lisp and static typing is important to you are you aware of coalton [1]?
[0] https://github.com/heliaxdev/alu
What are some alternatives?
Exquisite - Easy window layout management for KDE Plasma
ZeroSync - A STARK proof to sync a Bitcoin full node in an instant.
netrc - Reads netrc files implemented in Elixir
Nova - Nova: High-speed recursive arguments from folding schemes
ex2ms - :ets.fun2ms for Elixir, translate functions to match specifications
exldap - A module for working with LDAP from Elixir
std_json_io - A simple library for Elixir that provides json over STDIO
Apex - Awesome printing for Elixir
gen_task - Generic Task behavior that helps encapsulate errors and recover from them in classic GenStage workers.
ex_phone_number - Elixir port of libphonenumber
mixstar - Elixir Mix task to starring GitHub repository with `mix deps.get`ting dependent library
zexe - Rust library for decentralized private computation