distributive
hevm
Our great sponsors
distributive | hevm | |
---|---|---|
3 | 9 | |
40 | 1,532 | |
- | 6.3% | |
1.4 | 9.3 | |
2 months ago | 2 days 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.
distributive
-
Issue 302 :: Haskell Weekly newsletter
In main branch of distributive, Distributive is gone. There is only Representable. See current state https://github.com/ekmett/distributive/blob/117377d7ba38efc5b115169b565dfb80de8ad407/src/Data/Rep/Internal.hs
-
Monthly Hask Anything (November 2021)
Seems like a neat signature. Is it an instance of some deeper concept or property? Is there a general typeclass for it? It looks a little bit like distribute from distributive.
-
Chris Penner - Intro to Higher Kinded Data Types
The upcoming version of distributive includes a lot of hkd toys. It might be up your alley.
hevm
-
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?
foundry - Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
reach-lang - Reach: The Safest and Easiest DApp Programming Language
web3.py - A python interface for interacting with the Ethereum blockchain and ecosystem.
miso - :ramen: A tasty Haskell front-end framework
eattheblocks - Source code for Eat The Blocks, a screencast for Ethereum Dapp Developers
containers - Assorted concrete container types
ethereum-analyzer - An Ethereum contract analyzer.
ethereum-rlp
Agda - Agda is a dependently typed programming language / interactive theorem prover.
igraph - Incomplete Haskell bindings to the igraph library (which is written in C)
ethereum-client-haskell