semantic-source
cardano-node
Our great sponsors
semantic-source | cardano-node | |
---|---|---|
23 | 510 | |
8,843 | 3,011 | |
0.1% | 0.8% | |
5.7 | 9.8 | |
4 days ago | 4 days ago | |
Haskell | Haskell | |
MIT License | 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.
semantic-source
-
The Meaning of Monad in MonadTrans
One production example I know: GitHub code navigation is written in Haskell https://github.com/github/semantic
-
How to Get Started with Tree-Sitter
ah, easy. it's because support has not been added into https://github.com/github/semantic which is the tech that powers the GitHub UI. Adding support is pretty easy/mainly glue code [1] that imports the tree sitter API.
[1] https://github.com/github/semantic/blob/793a876ae45d38a6bd17...
I believe they use semantic (Haskell program that uses tree-sitter) for navigation: https://github.com/github/semantic
So the answer may be that semantic does not yet have support for the language in question.
- Scala community now has control over the official Scala grammar for tree-sitter 🎉
- 2022 State of Haskell Survey
-
11 Companies That Use Haskell in Production
GitHub used Haskell for implementing Semantic, a command-line tool for parsing, analyzing, and comparing source code.
-
What happened with GitHub's semantic project?
As far as engineering effort, you can read this GitHub comment for an overview of where we’d like to take the project in the future. The tl;dr here is that the open sum type view of the world made it very concise to fold over syntax trees (since such a view of data is ultimately unityped, recursion schemes Just Work), but the tradeoff thus associated—namely, that you have to parse a concrete syntax tree into an open-sum view (a complicated and painful-to-read process), that you can never really be sure how a given syntax tree is shaped, and that the types don’t help you nearly as much as they could—proved to be too onerous to deal with. Going forward, we’re generating syntax types from the AST once per target language, and working on an abstraction (probably via this generated code; I made five separate efforts at using Generics for this, and failed every time) that recovers at least some of the convenience of recursion schemes. It turns out that recursion schemes over a mutually recursive syntax tree—as pretty much every language’s syntax trees are, in practice—are pretty much an unsolved problem, especially when extended to languages like TypeScript, which have hundreds of different syntax nodes.
I'm just curious. It seems there hasn't been much activity in https://github.com/github/semantic Is GitHub still using semantic it to power some code navigation features? Has it been abandoned or is there some successor project that has taken its place? Is there any writeup / lessons learned about this project?
-
Stack Graphs
is this from Github semantic (https://github.com/github/semantic)?
Seems very suspicious since it’s the same goal using the same technologies. The latest commit is 4mo ago but i assume they have a closed-source version they’ve been working on.
Meanwhile their Tree-Sitter-based semantic parser[1] looks abandoned. There is even rotting for years pull request[2] adding support of the same stack graphs into it.
cardano-node
-
Best Crypto To Invest in 2024 [Expert Guide]
Cardano (ADA) – The Sustainability-Focused Blockchain
-
BITCOIN’S LEAD IN CRYPTO MARKET SOLIDIFIED BY INSTITUTIONAL INTEREST
This sluggish activity is hitting smaller cryptocurrencies like Cardano and Solana, which are seeing much slower growth than bitcoin. Trading platforms popular with retail investors, such as Robinhood, are moving to end support for trading these tokens, and the risk of an SEC crackdown has made institutional investors even more leery of them.
-
When will Voltaire get rid of the 7 keys?
Documentation on that can be found in https://github.com/input-output-hk/cardano-node/blob/master/doc/reference/configuring-a-node-using-yaml.md and https://github.com/input-output-hk/cardano-node/blob/master/doc/reference/cardano-governance.md.
-
Daily General Discussion - May 24, 2023
https://cardano.org - No
-
How does everyone feel about AI art and crypto-currency?
I feel like Solarpunk and Cardano are weirdly intertwined. Out of all the crypto ecosystems, I feel Cardano is the most likely to facilitate a solarpunk future. It's through my involvement in the Cardano ecosystem, I learnt about Solarpunk
-
Cardano CEO: How exciting everything is
According to Adonis Network's news, In his latest tweet, the founder of Cardano, Charles Hoskinson, mentioned the recent developments of the Cardano network and described it as very exciting. appear “It's exciting to see things moving so quickly in the Cardano ecosystem. Sidechains including Cosmos djed launching soon, Hydra and Mithril are on schedule, Lace is almost out of beta, and thousands of DApps are coming online.
-
What is the reason Cardano nodes went down?
Here's the conversation of the bug. Quite interesting. https://github.com/input-output-hk/cardano-node/issues/4826
-
~60% of all Cardano nodes were just taken offline by a transaction bug. No reboot of the blockchain is needed but investigations on the cause are still ongoing.
Anybody that wants to follow the details of the conversation around the investigation can do so here
You can follow the conversation here
What are some alternatives?
solana - Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
blockfrost-js - Node.js SDK for the Blockfrost.io API.
metamask-extension - :globe_with_meridians: :electric_plug: The MetaMask browser extension enables browsing Ethereum blockchain enabled websites
Solana - Finds price floor for every single attribute in a given collection
guild-operators - Artifacts and scripts created by Guild operators
daedalus - The open source cryptocurrency wallet for ada, built to grow with the community
cardano-wallet - HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
yoroi-frontend - Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
nixos-stakepool
plutus - The Plutus language implementation and tools
aur - A secure, multilingual package manager for Arch Linux and the AUR.
bsc - A BNB Smart Chain client based on the go-ethereum fork