septum
alire
septum | alire | |
---|---|---|
15 | 29 | |
369 | 267 | |
- | 8.6% | |
6.4 | 9.3 | |
2 months ago | about 2 months ago | |
Ada | Ada | |
Apache License 2.0 | GNU General Public License v3.0 only |
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.
septum
-
Code Search Is Hard
https://github.com/pyjarrett/septum
The hardest part about getting code search right imo is grabbing the right amount of surrounding context, which septum is aimed at solving on a per-file basis.
Another one I'm surprised hasn't been mentioned is stack-graphs (https://github.com/github/stack-graphs), which tries to incrementally resolve symbolic relationships across the whole codebase. It powers github's cross-file precise indexing and conceptually makes a lot of sense, though I've struggled to get the open source version to work
-
Getting up to speed on a c++ codebase
septum - interactive searching for contexts matching and excluding parameters
-
Getting Ada into the mainstream (Dec 1990 edition ^^)
I do a lot of weird and experimental work in Ada. Some of it works, whereas a lot of it doesn't. While I have done this sort of work in Python, Ruby, Rust, C or C++ in the past, when I do it in Ada, I end up saving time later on since the language forces many "good practices."
-
Septum 0.0.7 released (experimental Mac support)
I'd appreciate any issues or suggestions you want to report on GitHub to help me improve this.
- Septum: Context-based code search tool
-
Zig self hosted compiler is now capable of building itself
Ada is another option without a GC. I wrote a search tool for large codebases with it (https://github.com/pyjarrett/septum), and the easy multitasking and pinning to CPUs allows you to easily go wide if the problem you're solving supports it.
There's very little allocation since it supports returning VLAs (like strings) from functions via a secondary stack. Its Alire tool does the toolchain install and provides package management, so trying the language out is super easy. I've done a few bindings to things in C with it, which is ridiculously easy.
-
April 2022 What Are You Working On?
I mentioned my project Septum in a HackerNews comment, which caused it to pick up over 200 GitHub stars. That seemed to give Ada some publicity since it's a general purpose tool, so I'll also publish a new up-to-date version (0.0.6) here soon.
-
Ask HN: How do you search large code-base before adding a feature or fixing bug?
I work on code bases with millions of lines, so I wrote a tool called Septum to help me (https://github.com/pyjarrett/septum/). This isn't to replace grep or ripgrep or silver searcher, those are all great tools you should have!
Septum is neighborhood based (context-based) search, so you can find contiguous groups of lines which contain specific things, but exclude other things. It's also interactive so you can add/remove filters as needed. This makes it useful for those cases where terms change based on their context so you can exclude terms related to the contexts you don't want to keep. It reads .septum/config which contains its normal commands to load directories and settings, so you can have different configs per project you're working on.
-
Ada Crate of the Year: Interactive code search
Here's a short demo video of his Septum tool mentioned in the article: https://asciinema.org/a/459292
-
What Did You Work On in 2021?
I also did a few things: - Wrote an online e-book about Ada - Septum - context-based source code search for multi-million line codebases (I use this nearly every day at work. It's being submitted as my Ada crate of the year. - dir_iterators - library similar to the incredible walkdir. - project_indicators - library for spinners and progress bars. - trendy_terminal - library for cross-platform terminal setup, VT100 support, and GNU readline-like behavior. - trendy_test - library for simple unit testing, which runs tests in parallel. - Ada Ray Tracer - an Ada port of Ray Tracing in One Weekend. - dirs_to_graphviz - Make graphviz files from directory trees. - rst_tables - a tool to draw RST table outlines.
alire
-
Show HN: Getada: rustup-like installer for Ada's toolchain/package manager
> I don't know if this tool solves the problem
Not yet but it's on my list as a "phase 2" of sorts for getada. I have an alpine VPS that I'm playing around with but the main issue is that while alire can be built for alpine, any compilers it pulls from its toolchain won't work with it since none of them are built against musl. We've been talking about it here https://github.com/alire-project/alire/issues/792#issuecomme...
- Alire 2.0 Released
-
MACbook M1 - alr, gnat development troubles
Join the club! And see this issue.
-
Since MSys2 dropped support for Ada (!), how can I build Ada projects such as sdlada and gprbuild-bootstrap that require command-line tools (e.g. makefiles or bootstrap.sh) on Windows?
Alire brings in msys2, so that's why I'm curious if it's still working on Windows. Easiest way to install alire on Windows is through the installer linked on their main website.
- Alire - inability to install some packages from the repository
-
Your feedback wanted on Alire policy about Unicode
We are considering if Alire should change defaults in regard to dealing with Unicode sources. The details are https://github.com/alire-project/alire/discussions/1334 if you're interested and want to provide some feedback.
-
FOSDEM 2023 – Get Started with Open Source Formal Verification
It's also worth mentioning that Ada and SPARK are very easy to pick up these days. There's Cargo-like tool Alire [1], Ada Language Server [2], official VSCode plugin [3] and Open VSX plugin [4], Emacs Ada mode [5] and GNAT Studio [6]. With Alire one can easily install GNAT FSF builds (meaning GPL with linking exception) and SPARK tools. All libre software.
Not to mention Ada being really versatile and well thought out language.
[1] https://github.com/alire-project/alire
-
yet another Ada web site?
#1157 on Alire's GitHub page raises this issue as well. I've placed a comment over there. If the website's code is located on GitHub, it would be easier for users to contribute and get deployed automatically.
- Please explain how to control dependencies for commercial Ada software development in Alire.
- Alire 1.2.0 release
What are some alternatives?
liburing-ada - liburing/io_uring bindings for Ada
HomeBrew - 🍺 The missing package manager for macOS (or Linux)
ews - The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
linuxdeploy - AppDir creation and maintenance tool. Featuring flexible plugin system.
hound - Lightning fast code searching made easy
AppImageKit - Package desktop applications as AppImages that run on common Linux-based operating systems, such as RHEL, CentOS, openSUSE, SLED, Ubuntu, Fedora, debian and derivatives. Join #AppImage on irc.libera.chat
Ada_GUI - An Ada-oriented GUI
ada-ray-tracer
ada-awa - Ada Web Application - Framework to build high performance secure web applications
Ada-SPARK-Crate-Of-The-Year
Ada_Drivers_Library - Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.