veryl
ghc
| veryl | ghc | |
|---|---|---|
| 8 | 95 | |
| 479 | 3,034 | |
| 1.9% | 0.5% | |
| 9.8 | 9.9 | |
| 4 days ago | 1 day ago | |
| Rust | Haskell | |
| GNU General Public License v3.0 or later | GNU General Public License v3.0 or later |
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.
veryl
- Veryl v0.12.0: A New Hardware Description Language
- Veryl: A Modern Hardware Description Language
-
How to keep files in memory in tower_lsp?
The another solution is that spliting mutable struct to another thread, and communicating through async_channel. See the following changes. https://github.com/dalance/veryl/pull/155
- Veryl v0.4.0 release
- Veryl: A modern hardware description language
ghc
-
Veryl: A Modern Hardware Description Language
of course it does! what else would you call something like chicken scheme [https://call-cc.org/], ats [https://ats-lang.sourceforge.net/], or ghc [https://www.haskell.org/ghc/]? they are not "scripts", they are full-blown compilers that happen to use C as their compilation target, and then leverage C compilers to generate code for a variety of architecures. it's a very sensible way to do things.
-
XL: An Extensible Programming Language
Agree about Haskell... as far as I'm aware there is actually no declarative/easily-readable definition of the Haskell syntax that is also complete, especially when it comes to the indentation rules, and the syntax is basically defined by the very (ironically) imperatively-defined GHC parser[0].
I prefer a syntax like in Pure[1], where the ambiguous, hard to parse indentation-based syntax is replaced by explicit semicolons (Yeah, you can use braces/semicolons in Haskell as well, but most code doesn't).
[0] https://github.com/ghc/ghc/blob/master/compiler/GHC/Parser/L...
[1] https://agraef.github.io/pure-lang/
-
Revisiting Haskell after 10 years
GHC, the main Haskell compiler
-
Beginner question -- best way to implement this in Haskell?
GHCi, version 9.6.3: https://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /Users/daniel/.ghci ghci> :{ | split :: Float -> [Int] | split value = map(read . (:[])) . show | :} :3:15: error: [GHC-83865] • Couldn't match expected type: [Int] with actual type: a0 -> [b0] • Probable cause: ‘(.)’ is applied to too few arguments In the expression: map (read . (: [])) . show In an equation for ‘split’: split value = map (read . (: [])) . show
-
GHC 9.8.1 has been released
GHC is hosted on Gitlab, the Github repo is just a mirror. So money.
https://github.com/ghc/ghc
-
Um rápido Hello World com Haskell
☁ ~ ghci GHCi, version 9.4.7: https://www.haskell.org/ghc/ :? for help ghci> 6 + 3^2 * 4 42
-
Introducing NeoHaskell: A beacon of joy in a greyed tech world
Depending on who you ask, a programming language can be different things. If you ask the Haskell community, many will tell you that the language is the Haskell specification, and that what currently is being used is not Haskell itself, but an extension of Haskell that is supported by the GHC compiler. Similar to the C language, a programming language would be a specification.
- Exploring the Internals of Linux v0.01
-
type derivation
GHCi, version 9.4.2: https://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from ~/.dotfiles/ghc/.ghc/ghci.conf
- Why did GHC go from "occurs check failed" to talking about rigid type variables?
What are some alternatives?
rggen - Code generation tool for control and status registers
polysemy - :gemini: higher-order, no-boilerplate monads
svlint - SystemVerilog linter
in-other-words - A higher-order effect system where the sky's the limit
QuartzHDL - Hardware description language with Rust-like syntax
effect-zoo - Comparing Haskell effect systems for ergonomics and speed
sv-parser - SystemVerilog parser library fully compliant with IEEE 1800-2017
vim-multiple-cursors - True Sublime Text style multiple selections for Vim
svls - SystemVerilog language server
frp-zoo - Comparing many FRP implementations by reimplementing the same toy app in each.
veridian - A SystemVerilog Language Server
seed7 - Source code of Seed7