permutation
hevm
Our great sponsors
| permutation | hevm | |
|---|---|---|
| - | 10 | |
| 8 | 2,045 | |
| - | 0.5% | |
| 0.0 | 4.8 | |
| almost 6 years ago | 7 months ago | |
| Haskell | Haskell | |
| BSD 3-clause "New" or "Revised" License | GNU Affero General Public License v3.0 only |
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.
permutation
We haven't tracked posts mentioning permutation yet.
Tracking mentions began in Dec 2020.
hevm
-
The Ethereum Virtual Machine (EVM) - What Is It and How to Make Business on It?
hevm - written in Haskel
-
Solidity ForwardProxy: easily emulate EOAs in environments where they are not availabe or are cumbersome to use.
However, since we are using a pure Solidity stack, writing tests with ds-test and running them with dapp.tools or foundry, this was a bit more complicated.
-
Jo – a shell command to create JSON
There's also jshon which is a simple stack-based DSL for constructing JSON from shell scripts.
It's written in C and is not actively developed. The latest commit, it seems, was a pull request from me back in 2018 that fixed a null-termination issue that led to memory corruption.
Because I couldn't rely on jshon being correct, I rewrote it in Haskell here:
https://github.com/dapphub/dapptools/tree/master/src/jays
This is also not developed actively but it's a single simple ~200 line Haskell program.
-
Building Smart Contracts with Foundry by Paradigm
It fits into the stack the same way that Hardhat, Truffle, and Dapp Tools do.
-
What are best practices for testing/ci+cd for solidity?
I find it insane that much of Solidity code testing is still happening in external languages. I've recently found https://github.com/dapphub/dapptools and that has blown a lot of my confusion away.
-
What development tools do you guys use?
Honourable mention would be https://github.com/dapphub/dapptools for those who prefer UNIX-like tooling, but I'd say for the most part Foundry seems to be the better choice now.
-
The State of Coordination, Community, and Future Impact
Firstly, I'm warning you that I'm going to shill some amazing things in the Ethereum ecosystem. I would even go so far to say as some of these things are so positive sum and self-evidently public goods that shilling them in the ethereum subreddit should be considered neutral. For example, GitcoinDAO is a place where we all have the permissionless ability to coordinate in building tools and services, like dapptools, for all open-source software, full stop. There's ways to fundraise in public besides joining Discord or sliding into Twitter DM's, like Juicebox. There is a plethora of industry leaders exploring decentralized hosting for bluechip-scale applications, such as Skynet.
- Is "Mastering Ethereum" still the best way to learn Solidity development?
-
What is the best EVM debugger in 2021?
If you're into CLI tools - https://dapp.tools/
-
Barriers to Entry
Dapptools is another framework that has nothing to do with JavaScript.
What are some alternatives?
multiset - multiset haskell package
foundry - Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Agda - Agda is a dependently typed programming language / interactive theorem prover.
web3.py - A python interface for interacting with the Ethereum blockchain and ecosystem.
type-level-sets - Type-level sets for Haskell (with value-level counterparts and various operations)
ethereum-analyzer - An Ethereum contract analyzer.
singletons - Fake dependent types in Haskell using singletons
ethereum-rlp
repa-array - High performance, regular, shape polymorphic parallel arrays.
miso - :ramen: A tasty Haskell front-end framework
eattheblocks - Source code for Eat The Blocks, a screencast for Ethereum Dapp Developers