awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language (by ohenley)
ghdl
VHDL 2008/93/87 simulator (by ghdl)
Our great sponsors
awesome-ada | ghdl | |
---|---|---|
20 | 26 | |
574 | 2,206 | |
- | 2.7% | |
7.8 | 9.8 | |
17 days ago | 5 days ago | |
VHDL | ||
Creative Commons Zero v1.0 Universal | GNU General Public License v3.0 only |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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.
awesome-ada
Posts with mentions or reviews of awesome-ada.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-08-25.
-
yet another Ada web site?
At the moment we have * Reddit, a news aggregator, Awesome Ada link list, and they work good too. (Thank involved people for this!) * Organization/company based sites, and they work good (e.g. adaic.org, ada-auth.org, sigada.org, adacore.com) * Chats, comp.lang.ada "news group" * Wiki books * Ada Programming (Is it updated?) * Ada Style Guide (It looks like to be never updated since uploading) * person-driven sites are often biassed, become outdated and abandoned * For example, adapower.com, getadanow.com, learnadanow.com are not updated (e.g. no Alire mention), have expired SSL certificate and dead links. (Sorry David, it's just for example!). * long(?) list of dead or frozen sites * adahome.com - alive, not updated * adaworld.com - has changed owner * planet.ada.wtf not resolved * ancient Public Ada Library (PAL) gone * per country community is mostly alive * adaspain.org is't responding
-
I remade the ada logo what do you think ?
I too are partial to the Ada (the person) logos. The modern takes in the awesome-ada site are my favorite. In particular the previous one was very cool: https://github.com/ohenley/awesome-ada/tree/f0e3df247119dd3730c4bda6cac0e0c3fd93087c
-
Ada Library and Tutorial Requests
All libraries listed in awesome-ada added to Alire.
-
Request for comments: an idea for a central repository of knowledge and resources for Ada
awesome-ada
-
Lessons Learnt Moving a GTK Application from Go to Ada
In order to find good examples for Ada, I think we should add all our projects to the curated list of awesome Ada resources. OK, it won't be curated if we add everything, but in fact it's far from being crowded. It can be curated later if it overgrows. In my opinion, both these projects (Dashera and Yotroc) ought to be included, and they aren't.
-
Hi I am a beginner and i am interested in Ada
Depends on the libs, see [Awesome Ada][https://github.com/ohenley/awesome-ada]
-
Open discussion: Ada needs import (?)
If it's not in Alire, second step is looking in the curated list of Ada projects (and then follow README or BUILDING instructions): https://github.com/ohenley/awesome-ada
-
Alire has reached 200 Crates!
There are still many interesting projects in https://github.com/ohenley/awesome-ada and other sources, which are not indexed by Alire, so there is room for improvement.
-
The Ada ecosystem?
In terms of bootstrapping your environment and getting started, I'd recommend looking at Vim-Ada and Awesome Ada. I also tried to write up some practical advice from my experience, which might be helpful.
-
Is Ada used only for embedded systems?
On Awesome Ada list, you can find examples of Ada usage outside embedded development.
ghdl
Posts with mentions or reviews of ghdl.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-03-30.
-
GHDL on mac m1
I downloaded https://github.com/ghdl/ghdl/releases/download/v3.0.0/ghdl-macos-11-mcode.tgz and extracted it to home directory ~.
- How to compile ghdl
-
Is the VHDL standard library not publicly available?
The body is here.
-
Help on trying to find a FOSS solution to replace Quartus in my class.
GHDL + gtkwave
-
If someone is good at programming languages like C, will they be good at description languages like VHDL?
Also, VHDL has its roots in Ada, not Pascal. (In fact, the ghdl simulation tool is written in Ada.)
-
What is the netlist file format?
If the goal is simulation, the output of the process is something that can be processed by a standard compiler (like gcc or llvm) or executed by a pseudocode interpreter. See, for example, what is done by ghdl.
-
Converting VHDL to Verilog using GHDL
Maybe you could try to minimize your example to a MWE (minimum working example that demonstrates the issue) and then do a bug report against GHDL at https://github.com/ghdl/ghdl/issues
Try a question here: https://github.com/ghdl/ghdl/issues . I have only used GHDL for VHDL, and it worked well for what I was doing with it, but the creator/chief maintainer(?) (Tristan Gingold) should be able to set your issue straight in a short while, and he is pretty active on github.
-
Trouble with GHDL and GCC
Find something newer here.
-
ghdl, how to include math_real?
replying to myself: I just installed this nightly on a Win10 box and it seems to "work" based on minimal tests. Note that you need to install MinGW.
What are some alternatives?
When comparing awesome-ada and ghdl you can also consider the following projects:
alire-index - Community index for the Alire project
logisim-evolution - Digital logic design tool and simulator
browser-compat-data - This repository contains compatibility data for Web technologies as displayed on MDN
rust_hdl
gnatstudio - GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
vunit - VUnit is a unit testing framework for VHDL/SystemVerilog
OpenGLAda - Thick Ada binding for OpenGL and GLFW
gtkwave - GTKWave is a fully featured GTK+ based wave viewer for Unix and Win32 which reads LXT, LXT2, VZT, FST, and GHW files as well as standard Verilog VCD/EVCD files and allows their viewing.
ASFML - Ada binding to the SFML library
VHDL-Guide - VHDL Guide
bingada - Bingo application in GTKAda