Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for ada
ada
x
319 search results found
Polyorb
⭐
20
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Libsimpleio
⭐
20
Linux Simple I/O library
Adamant
⭐
19
Adamant - An embedded software framework
Wee Noise Maker
⭐
19
Open source pocket synthesizer
Cashe
⭐
19
A Money library for Ada
Ada Synth Lib
⭐
19
Simple audio synthesis library
Stm32
⭐
19
Libgfxinit
⭐
19
mirror of https://review.coreboot.org/libgfxinit.git
Fpga Dcnn Accelerator
⭐
19
基于HLS的高效深度卷积神经网络FPGA实现方法
Adagate
⭐
18
AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OSX & most Linux distros. A tribute to Narbacular Drop with mind bending spacial interconnections.
Aura
⭐
18
The AURA Reference Implementation
Muntsos
⭐
18
MuntsOS Embedded Linux
Etherscope
⭐
18
Ethernet traffic monitor on a STM32F746 board
Simple_blockchain
⭐
18
Simple blockchain in Ada
Cardano Py
⭐
18
Python3 lib and cli for operating a Cardano Passive Node and using the API's. (PRE-ALPHA)
Cardano Coin Selection
⭐
18
A library of algorithms for coin selection and fee balancing.
Ada Wiki
⭐
18
Ada Wiki Engine - Wiki parser and renderer with several Wiki syntaxes
Yass
⭐
18
Yet Another Static Site (Generator)
Cuda
⭐
17
Ayacc
⭐
17
Ayacc - An Ada LALR(1) parser generator
Honki Tonks Zivilisationen
⭐
17
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
Memsim
⭐
17
Memory Simulator and Optimizer
Certyflie
⭐
17
Dynamo
⭐
16
Dynamo Ada Application Code Generator
Rejuvenation Ada
⭐
16
Analysis and manipulation of Ada software based on concrete syntax
Gwindows
⭐
16
GWindows: GUI framework for MS Windows
Spawn
⭐
16
Libadalang Tools
⭐
16
Libadalang-based tools
Vivado Hls Broadcast Optimization
⭐
16
[DAC 2020] Analysis and Optimization of the Implicit Broadcasts in FPGA HLS to Improve Maximum Frequency
Ada_kernel_module_framework
⭐
16
Framework for writing Linux kernel modules in Ada
Ada_tutorial
⭐
15
Program texts for a LISP interpreter writen as a Tutorial for Ada 2012.
Qweyboard
⭐
15
[HOLD] Qweyboard aims to be a Velotype/Veyboard like experience on a regular standard computer keyboard. I really like this and want to work on it but can't find the time
Beginning Ada Programming
⭐
15
Source Code for 'Beginning Ada Programming' by Andrew T. Shvets
Userintentdataset
⭐
15
Hirtos
⭐
15
HiRTOS: a high-integrity RTOS kernel and separation kernel written in SPARK Ada
Aflex
⭐
15
Aflex the Ada fast lexical analyser generator
Kpi Stuff
⭐
15
Some of my laboratories work in KPI and stuff connected with it.
Old Lumen
⭐
15
GUI toolkit for Ada using OpenGL
Ansible Cardano Node
⭐
15
Ansible playbook for provisioning a Cardano stake pool
Globe 3d
⭐
15
GLOBE_3D: a real-time 3D Engine written in Ada
Jwx
⭐
14
JSON/JWK/JWS/JWT/Base64 library in SPARK
Adaid
⭐
14
An Ada Library for UUID generation.
Gcc Toolchain Builder
⭐
14
Script collection to build ready to use GCC 13.1.0 cross and/or native toolchains: C and C++ for all, (Fortran, ADA, D and GO for native compiler only). Cross targets: LM32, AVR, Motorola 68000 (m68k), (ARM in develop yet)
Cappulada
⭐
14
[DEPRECATED] Generate Ada bindings to C++ code
Usb_embedded
⭐
14
An Ada USB stack for embedded devices
Adacontrol
⭐
14
An Ada controller for static analysis and rules checking
Openclada
⭐
14
An Ada binding for the OpenCL host API
Gpr
⭐
13
The framework for analyzing the GNAT Project (GPR) files
Noise Nugget
⭐
13
Square Inch Synthesizer
Parasail
⭐
13
Parallel Specification and Implementation Language
Ada_time
⭐
13
Ada binding for the Pebble Time smartwatch
Ada_training
⭐
12
Training files for Ada courses
Hvinfo
⭐
12
Yet another hypervisor detection tool
Libgade
⭐
12
A GameBoy emulation library in Ada
Un_pola
⭐
12
DIY instant camera with OpenMV and AdaFruit's thermal printer
Ada Bar Codes
⭐
12
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
Ada Synthetizer
⭐
12
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem
Adaventure
⭐
12
AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros. Hear ancient Persian melodies played by Korla Pandit.
Ashell
⭐
12
A component to aid in writing shell-like applications in Ada.
Saatana
⭐
12
A cryptographic framework, proven for correctness in SPARK
Ada_bare_metal_demos
⭐
11
Bare Metal demos using Ada and ravenscar runtimes
Kafka Ada
⭐
11
Apache Kafka Ada client library, based off of librdkafka
Sxml
⭐
11
Formally verified, bounded-stack XML library
Ada Asf
⭐
11
Ada Server Faces - Web Server Faces JSR 252, JSR 314 and JSR 344
Radalib
⭐
11
Ada library and tools for the analysis of Complex Networks and more
Robotics_with_ada
⭐
11
Robotics with Ada, ARM, and Lego
Pascal To Ada
⭐
11
Pascal to Ada translator
Spat
⭐
10
SPARK Proof Analysis Tool
Adalib
⭐
10
Standard Ada library specification as defined in Reference Manual
Adabots
⭐
10
Learn Ada by programming Minecraft robots!
Black
⭐
10
A simple HTTP and Websocket library with minimal external dependencies.
Aida_2012
⭐
10
Dgemua
⭐
10
Ada port of my Data General emulation system
Raylib Ada
⭐
10
Ada binding for the Raylib library.
Make With Ada
⭐
10
Ada projects for Make-with-Ada
Ada_spark_workflow
⭐
10
A demo of best practices for open-source Ada/SPARK development
Havk
⭐
10
An attempt at a minimalistic and secure operating system.
Gneiss
⭐
10
Framework for platform-independent SPARK components
Smk
⭐
10
smk, the smart make
Geste
⭐
10
GEneric Sprite and Tile Engine
Hellish
⭐
10
A private torrent tracker and IRC server
Bbqueue Spark
⭐
10
An Ada implementation of James Munns' BBQueue
Adaroombot
⭐
10
Simple serial control of iRobot Create 2 Roomba vacuum cleaner from Raspberry Pi.
Gnatcoll Bindings
⭐
10
GNAT Components Collection – Bindings to C libraries
Webevaluator
⭐
9
A web crawling tool which tests websites for SSL, Cookies and ADA compliance and also suggests ways to fix them.
Swagger Ada Todo
⭐
9
Simple todo list server with OpenAPI
Ada Search
⭐
9
Ada Lsp
⭐
9
Language Server Protocol for Ada
Muen
⭐
9
An x86/64 Separation Kernel for High Assurance
Acats
⭐
9
The Ada Conformity Assessment Test Suite, customised for GCC.
Ados
⭐
9
A proof of concept for an operating system in Ada.
Ether
⭐
9
An SCGI library for Ada
Et
⭐
9
An ECAD design tool for complex schematics and layouts
Ada Gba Dev
⭐
9
A build system, libraries, and tools for producing programs for the Game Boy Advance using the Ada programming language.
Resource Embedder
⭐
8
ARE - Advanced Resource Embedder include files, scripts, images in Ada, C, Go binaries
Shoot N Loot
⭐
8
A little platform and shoot game for the AdaFruit PyGamer
Zstd Ada
⭐
8
Zstandard for Ada - Fast real-time compression algorithm
Uxstrings
⭐
8
Ada Unicode Extended Strings
Auto_counters
⭐
8
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
Inotify Ada
⭐
8
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
101-200 of 319 search results
< Previous
Next >
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.