gembrowse
Encryption-utilities
gembrowse | Encryption-utilities | |
---|---|---|
2 | 1 | |
6 | 5 | |
- | - | |
0.0 | 0.0 | |
about 2 years ago | over 1 year ago | |
Ada | Ada | |
- | 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.
gembrowse
-
Controlling Echo in Ada
In my gembrowse project (https://github.com/docandrew/gembrowse) I had to do a similar thing to get the terminal into raw mode (no buffering, no echo) - in my case I had to use termios though.
-
March 2022 What Are You Working On?
Wanted to experiment with some TUI code and came up with this terminal browser for the Gemini protocol: https://github.com/docandrew/gembrowse
Encryption-utilities
-
Controlling Echo in Ada
See Password_Line. Note that Get_Immediate is not portable in terms of what it returns for keys like Backspace and Enter; GNAT returns DEL and LF respectively, while with ObjectAda it's BS and CR.
What are some alternatives?
Lined - Ada Implementation of the Line Editor from Software Tools
AdaDoom3 - Id Software's Id-tech-4-BFG in the Ada programming language.
PragmARC - The PragmAda Reusable Components
sdlada - Ada 2022 bindings to SDL 2 - Don't STAR this, this is my personal repo which I may delete over using the AGF one.
gcc-darwin-arm64 - GCC master branch for Darwin with experimental support for Arm64. Currently GCC-15.0.0 [May 2024]
alire - Command-line tool from the Alire project and supporting library
distributing-gcc - Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
RecordFlux - Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Ada_GUI - An Ada-oriented GUI
spark-by-example - SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
Pi-Mainframe - Simulated mainframe computer based on a Raspberry Pi
spark2014 - SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.