plutus
haskell-language-server
plutus | haskell-language-server | |
---|---|---|
89 | 110 | |
1,529 | 2,578 | |
0.1% | 0.8% | |
9.8 | 9.6 | |
4 days ago | 4 days ago | |
Haskell | Haskell | |
Apache License 2.0 | Apache License 2.0 |
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.
plutus
-
Are you disappointed/happy with current daps?
Plutus-related issues in Plutus repo https://github.com/input-output-hk/plutus/issues Cardano node-related issues in the Cardano node repo https://github.com/input-output-hk/cardano-node
-
A Comprehensive Guide on Web3 Programming Languages and Tools
Plutus (Haskell) is a statically typed programming language wired for writing reliable smart contracts on the Cardano blockchain. It is also a functional programming language, which means programs are composed as sets of mathematical functions for execution.
-
Software Development Languages: Haskell
* https://github.com/input-output-hk/plutus
There's quite a few recent Isabelle repos such as https://github.com/input-output-hk/high-assurance-legacy
I haven't worked there for a year or so and don't remember specifics like KLOCs, just that they're dotted around internal and public repos :)
-
Liqwid Labs: Technical Status Update #51
PR for Improved Rational for on-chain size was merged into Plutus: https://github.com/input-output-hk/plutus/commit/6d8d25d1e84b2a4278da1036aab23da4161b8df8
-
Cardano vs. Ethereum: Can Ada Solve Ether’s Problems?
Cardano also suffers from the issue of the size of Plutus script being too big. One script can eat up to 20% of block which renders the overall efficiency even worse.
- Cardano: "Slow and Steady wins the... Annnnnd it's gone." Plutus auditor publicly announces that most Cardano smart contracts have an exploit.
-
Why Cardano smart contract transactions are so big.
They're working on script libraries where you can reference a script in another UTXO rather than having to reinclude it every time. This is mentioned in some videos (I think in November's mid month update and Cardano 360), if you don't have time to watch those it's mentioned in michaelpj's comment here along with some other optimisations they're working on https://github.com/input-output-hk/plutus/issues/4174
-
Why does the same smart contract need to be included with every utxo?
There is a discussion on GitHub about this. The second solution in MPJs reply is what you are suggesting.
- PAB release date?
-
Why all the hate?
About to say that lol. Here are more info.https://plutus-apps.readthedocs.io/en/latest/index.htmlhttps://github.com/input-output-hk/plutushttps://docs.cardano.org/plutus/learn-about-plutus
haskell-language-server
-
Revisiting Haskell after 10 years
The advent of language server protocol made possible the creation of HLS (Haskell Language Server), and there are plugins for many editors, such as vscode-haskell, that allow you to have auto-complete, auto-import, and automatic function signatures—also available to your editor of choice. The whole feedback loop of editing, compiling, and running is greatly improved.
-
VSCode Haskell extension not working
HLS 2.3.0.0 is currently broken on Windows.
-
Haskellers who moved to Rust: What has been your experience?
The Haskell community has been focusing on tooling and IDE support in the last several years. Haskell-Language-Server is a huge improvment, so the experience is probably much better than you remember, but it'll still be a while before it catches up with Rust.
- A semester of Haskell-language-server: an internship report
- HLS 2.0.0.0 is out
-
Static-ls - a low memory Haskell language server based on hiedb and hiefiles
static-ls is a low memory language server for Haskell that serves as an alternative to (hls)[https://github.com/haskell/haskell-language-server] with less functionality by using statically generated information. It is intended for (Highly recommend hls instead if you aren't having these issues):
- HLS 1.10.0.0 is out
-
[Well-Typed] Multiple Component support for cabal repl
I think the corresponding HLS PR is https://github.com/haskell/haskell-language-server/pull/3462, so it isn't landed yet but hopefully can be part of a HLS release before too long. (I'm not sure if it will make it in to the very next release because we're due one out to support GHC 9.6.1 pretty soon.)
- [ANN] HLS-1.9.1.0 released
What are some alternatives?
marlowe - Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
coc.nvim - Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.
reach-lang - Reach: The Safest and Smartest DApp Programming Language
neovim - Vim-fork focused on extensibility and usability
cardano-node - The core component that is used to participate in a Cardano decentralised blockchain.
lsp-mode - Emacs client/library for the Language Server Protocol
plutus-pioneer-program - This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.
ormolu - A formatter for Haskell source code
plutus-starter - A starter project for Plutus apps
vscode-haskell - VS Code extension for Haskell, powered by haskell-language-server
openzeppelin-contracts - OpenZeppelin Contracts is a library for secure smart contract development.
hie-bios - Set up a GHC API session for various Haskell Projects