Movatterモバイル変換

Skip to content

#

ada-language

Here are 39 public repositories matching this topic...

Language:All

Filter by language

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

ohenley /awesome-ada

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

awesome spark awesome-list ada ada-binding gnat spark-ada ada-framework ada-language ada-programs ada-library

UpdatedMar 19, 2025

hac

zertovitch /hac

HAC Ada Compiler - a small, quick Ada compiler fully in Ada

parser advent-of-code compiler virtual-machine ada symbol-table strongly-typed mini-compiler semantic-analysis compiler-construction ada-framework ada-language ada-library

UpdatedMar 15, 2025
Ada

kburtch /SparForte

Bourne shell, template engine, scripting language reliable, scalable projects. Based a ISO standard proven effective for large, mission-critical projects, SparForte is designed for fast development while, at the same time, providing easier designing, maintenance and bug removal. About 130.000 lines of code.

mysql shell security postgresql elegant interpreted-programming-language ada reliable strongly-typed side-effects safety-critical ada-language agile-integration

UpdatedMar 5, 2025
Ada

SweetAda

gabriele-galeotti /SweetAda

Ada-language framework

avr arm embedded mips x86-64 x86 ada sparc m68k powerpc risc-v openrisc microblaze nios2 embedded-system sh4 ada-language s390 neorv32 gnat-ada

UpdatedMar 19, 2025
Ada

zip-ada

zertovitch /zip-ada

Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.

compression zip bzip2 bwt lzma ada zip64 deflate-format deflate burrows-wheeler-transform compression-library zip-archive ada-language ada-library

UpdatedMar 12, 2025
Ada

gid

zertovitch /gid

GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images

jpg png jpeg tga pgm bmp image-processing gif steganography ada pnm gif-decoder png-decoder bmp-decoder jpeg-decoder targa pgm-reader ada-language ada-library qoi

UpdatedSep 24, 2024
Ada

lea

zertovitch /lea

LEA is a Lightweight Editor for Ada

syntax-highlighting editor autocomplete auto-complete ada scintilla code-completion ada-language

UpdatedMar 15, 2025
Ada

gwindows

zertovitch /gwindows

GWindows: GUI framework for MS Windows

windows gui-framework ada ada-language ada-library

UpdatedMar 16, 2025
Ada

ada-pdf-writer

zertovitch /ada-pdf-writer

Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents

pdf ada pdf-generation ada-language ada-library pdfwriter pdf-writer

UpdatedMar 9, 2025
Ada

zertovitch /pascal-to-ada

Pascal to Ada translator

pascal translator ada ada-language

UpdatedOct 20, 2024
Ada

globe-3d

zertovitch /globe-3d

GLOBE_3D: a real-time 3D Engine written in Ada

opengl collision-detection ada wavefront rendering-3d-graphics 3d-engine doom3 texture-mapping vrml binary-space-partition ada-language ada-library portal-rendering

UpdatedMar 9, 2025
Ada

spat

HeisenbugLtd /spat

SPARK Proof Analysis Tool

proof ada formal-verification gnatprove spark-ada ada2012 ada-language spark2014 spark-proof-analysis

UpdatedOct 19, 2020
Ada

ada-bar-codes

zertovitch /ada-bar-codes

Ada Bar Codes: bar code (1D and 2D) generator in pure Ada

qrcode barcode barcode-generator qr-code ada ean13 qr-generator qr-codes qr qrcode-generator datamatrix upc-a upca qr-code-generator ada-language ada-library datamatrix-generator

UpdatedFeb 7, 2025
Ada

cbsg

zertovitch /cbsg

The Corporate Bullshit Generator

fun text-generation ada ada-language

UpdatedDec 22, 2024
Ada

Saatana

HeisenbugLtd /Saatana

A cryptographic framework, proven for correctness in SPARK

cryptography encryption ada formal-verification spark-ada ada2012 ada-language cryptographic-framework spark2014

UpdatedDec 16, 2024
Ada

azip

zertovitch /azip

AZip: a free, portable Zip Archive Manager

zip archive ada archive-manager ada-language

UpdatedMar 17, 2025
Ada

mathpaqs

zertovitch /mathpaqs

Mathpaqs: a collection of mathematical packages in pure Ada

random matrix ada formula-parser math-library runge-kutta ada-language ada-library

UpdatedJan 22, 2025
Ada

zertovitch /wasabee

Wasabee: a Web browser with safety focus. Project is in early development stage.

web-browser ada ada-language

UpdatedOct 12, 2024
Ada

Alice

alice-adventures /Alice

Adventures for Learning and Inspiring Coding Excellence

project-euler advent-of-code codingame ada coding-challenges adventures ada-language ada-spark coding-excellence

UpdatedSep 16, 2023
Ada

zertovitch /ini-files

Ini file manager: a standalone, portable Ada package for configuration files

config ada configuration-file ini-parser configuration-files cfg-files ada-language ada-library

UpdatedMay 25, 2024
Ada

Improve this page

Add a description, image, and links to theada-language topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with theada-language topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp