| lion | cbonsai | |
|---|---|---|
| 10 | 15 | |
| 242 | - | |
| 0.0% | - | |
| 4.5 | - | |
| 11 days ago | - | |
| Haskell | ||
| BSD 3-clause "New" or "Revised" License | - |
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.
lion
-
A year of RISC-V adventures: embracing chaos in your software journey [video]
I've been starting to dabble with digital logic design via Clash (https://clash-lang.org/), and there is a very cool-looking RISC-V SoC project done in that tool that looks fairly serious: https://github.com/standardsemiconductor/lion.
-
C++ Concurrency Model on x86 for Dummies
That’s fascinating about the M1. In retrospect it seems like kind of a no-brainer but I doubt I would have thought of it.
SPARC had different memory models at different ISA revs IIRC: it’s been like 20 years since I was dealing with SPARC so I might be misremembering the details. Alpha would have been a better example.
RISC-V is really interesting. I’ve been slowly working through this: https://github.com/standardsemiconductor/lion, highly recommend!
-
Why More Networks Should Imitate Cardano When It Comes To Writing And Shipping Code | Bitcoinist.com
Interesting. Actually, you may be just the person to answer my question: Is it possible/plausible to run a Cardano node on Lion OS on a RISC-V machine? IMO, it would be great for the community if we could run all Cardano stake pools on end to end formally verified machines using open source core and hardware.
- Lion is a formally verified, 5-stage pipeline RISC-V core
- Lion: A formally verified, 5-stage pipeline RISC-V core
-
Hacker News top posts: Mar 4, 2021
Lion: A formally verified, 5-stage pipeline RISC-V core\ (30 comments)
-
Where Lions Roam: RISC-V on the VELDT
In addition, you can actually set the riscv-formal suite to verify correctness by k-induction: https://github.com/SymbioticEDA/riscv-formal/pull/28 https://symbiyosys.readthedocs.io/en/latest/quickstart.html#beyond-bounded-model-checks although I concur that by looking at https://github.com/standardsemiconductor/lion/blob/main/lion-formal/app/Main.hs the lion core is only verified with BMC.
cbonsai
-
Use a terminal window as Screensaver
So there’s this awesome CLI tool called cbonsai that generates a random bonsai tree, and it is incredible.
-
Bonsai ASCII art
there’s cbonsai for all you terminal enthusiasts. for years, I’ve wanted to add options for species / style/ container but I am merely a Python dev. surely someone in this sub knows enough C to take that script to the next level.
-
Finally installed Mint on my desktop PC after having it on my laptop for over a year. Still have to figure out some problems with Steam, but I'm happy with the result.
Don't worry. It's Cbonsai.
-
Nordic Desktop
that's exa instead of ls there, cbonsai, and dt's shell color scripts, pipes-rs
- bedroom community
- cbonsai
-
[WIP] devdeck
It’s the awesome cbonsai.
-
🌲 treefetch - my very first Rust program after learning it for three days
An adorable fast fetch for screenshots. Goes well with cbonsai.
-
Bonsai generator program on linux
You can find the program here: https://gitlab.com/jallbrit/cbonsai
- What are some neat and useful CLI programs?
What are some alternatives?
prometheus-cpp - Prometheus Client Library for Modern C++
scripts - various scripts and tools
riscv-formal - RISC-V Formal Verification Framework
tmux - tmux source code
cocotb - cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
matrix-rain - The famous Matrix rain effect of falling green characters in a terminal
atomic-story - Understanding how atomics and memory ordering work
glances - Glances an Eye on your system. A top/htop alternative for GNU/Linux, BSD, Mac OS and Windows operating systems.
VexRiscv - A FPGA friendly 32 bit RISC-V CPU implementation
chezmoi - Manage your dotfiles across multiple diverse machines, securely.
libcxx - Project moved to: https://github.com/llvm/llvm-project
miniplayer - A curses based mpd client with basic functionality and album art.