Skip to content
View jrcarter's full-sized avatar
36 followers · 11 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report jrcarter

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • Encryption-utilities Public

    Utility programs for the encryption algorithms included in the PragmAda Reusable Components

    ada xor encryption-decryption threefish
    Ada 5 2 Other Updated Jan 19, 2025

  • PragmARC Public

    The PragmAda Reusable Components

    Ada 28 6 Updated Jan 19, 2025

  • AoA_24 Public

    Some Advent of Ada 2024 solutions

    Ada 1 1 BSD 3-Clause "New" or "Revised" License Updated Jan 8, 2025

  • MP Public

    A Music Player

    Ada 2 1 BSD 3-Clause "New" or "Revised" License Updated Nov 29, 2024

  • King Public

    An informal decsription of the King software-engineering language

    1 Updated Nov 11, 2024

  • Bar_Code_Drawing Public

    Creation of bar codes

    Ada 1 BSD 3-Clause "New" or "Revised" License Updated Oct 30, 2024

  • Controlled_IO Public

    Files that are open while they exist and closed when they don't

    Ada 4 2 BSD 3-Clause "New" or "Revised" License Updated Aug 27, 2024

  • Image_IO Public

    Output in BMP, PPM, and QOI formats; input in BMP, GIF, JPG, PNG, PNM, QOI, and TGA formats

    Ada 3 1 BSD 3-Clause "New" or "Revised" License Updated Aug 1, 2024

  • CRC-32 Public

    Cyclic Redundancy Check to verify data integrity (ISO 3309)

    Ada 3 1 BSD 3-Clause "New" or "Revised" License Updated Jul 25, 2024

  • Z_Compression Public

    Standalone version of the Zlib Deflate compression algorithm, derived from de Montmollin's Zip-Ada

    Ada 2 1 BSD 3-Clause "New" or "Revised" License Updated Jul 23, 2024

  • Binary_Trees Public

    Ordered binary trees implemented without access types

    Ada 1 1 BSD 3-Clause "New" or "Revised" License Updated May 16, 2024

  • Lined Public

    Ada Implementation of the Line Editor from Software Tools

    Ada 1 1 BSD 3-Clause "New" or "Revised" License Updated Apr 28, 2024

  • Ada_GUI Public

    An Ada-oriented GUI

    Ada 37 2 BSD 3-Clause "New" or "Revised" License Updated Feb 24, 2024

  • DB_Maker Public

    A generic for creating simple DBs (one table in an RDBMS) with PragmARC.Persistent_Skip_List_Unbounded and a Gnoga/Ada-GUI UI.

    Ada 1 GNU General Public License v2.0 Updated Jan 8, 2024

  • AoA_23 Public

    Some Advent of Ada 2023 solutions

    Ada 1 BSD 3-Clause "New" or "Revised" License Updated Dec 23, 2023

  • SparkRC Public

    SPARK Reusable Components

    Ada 3 BSD 3-Clause "New" or "Revised" License Updated Oct 21, 2023

  • awesome-ada Public

    Forked from ohenley/awesome-ada

    A curated list of awesome resources related to the Ada and SPARK programming language

    2 Creative Commons Zero v1.0 Universal Updated Sep 11, 2023

  • Qplt Public

    An Ada-GUI program to quickly produce a plot of a data set

    Ada 2 1 BSD 3-Clause "New" or "Revised" License Updated Jul 2, 2023

  • AoA_22 Public

    Advent of Ada 22 Solutions

    Ada 2 1 BSD 3-Clause "New" or "Revised" License Updated Dec 19, 2022

  • Universal-Text-File Public

    Proposed universal format for Unicode text files

    Ada 1 BSD 3-Clause "New" or "Revised" License Updated Jun 6, 2022

  • Mine_Detector Public

    The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game

    Ada 3 2 Updated May 27, 2022

  • Password_Gen Public

    A password generator using Ada-GUI/Gnoga

    Ada 1 GNU General Public License v2.0 Updated Apr 26, 2022

  • Papers Public

    Technical articles by Jeffrey R. Carter

    4 Updated Sep 13, 2021

  • Coding_Standard Public

    PragmAda Coding Standard

    5 Updated Apr 25, 2021

  • Image_Random Public

    True random numbers from a digital camera

    Ada 2 1 BSD 3-Clause "New" or "Revised" License Updated Sep 13, 2020

  • Gnoga_File_Selection Public

    A file-selection dialog for obtain full path names of files on the computer that is running the program

    Ada 1 BSD 3-Clause "New" or "Revised" License Updated Jul 13, 2019

  • Gnoga_Bar_Codes Public

    Widget for creating bar codes with Gnoga

    Ada BSD 3-Clause "New" or "Revised" License Updated Jul 4, 2018

  • Gnoga_Extra Public

    Types and Create operations for frequently combined Gnoga widgets

    Ada 1 1 BSD 3-Clause "New" or "Revised" License Updated May 6, 2018

  • Chattanooga Public

    Chattanooga, a simple internet chat application using Gnoga

    Ada 1 Updated Jul 7, 2017

  • Tic-Tac-Toe Public

    A Gnoga program to play Tic-Tac-Toe

    Ada 1 GNU General Public License v2.0 Updated May 11, 2017