alucard
pact
| alucard | pact | |
|---|---|---|
| 1 | 3 | |
| 18 | 577 | |
| - | -0.3% | |
| 0.0 | 8.2 | |
| over 1 year ago | 4 days ago | |
| Common Lisp | Haskell | |
| - | 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.
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
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
What are some alternatives?
ZeroSync - A STARK proof to sync a Bitcoin full node in an instant.
Exquisite - Easy window layout management for KDE Plasma
Nova - Nova: High-speed recursive arguments from folding schemes
netrc - Reads netrc files implemented in Elixir
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