☆12Oct 2, 2021Updated 4 years ago
Alternatives and similar repositories for Sweky
Users that are interested in Sweky are comparing it to the libraries listed below
Sorting:
- Examples and exercises used during Software Engineering course☆26Jan 26, 2026Updated last month
- Exercises for the Cybersecurity Principles & Practice @UNIPD☆21Jan 26, 2022Updated 4 years ago
- A first approach of getting a pure Ada program running on an FPGA with SaxonSOC☆11Apr 12, 2021Updated 4 years ago
- My Notes on Deep Learning 💫☆13Nov 15, 2020Updated 5 years ago
- Toolkit per il corso di Cybersecurity presso l'Università degli Studi Padova☆13Oct 14, 2022Updated 3 years ago
- PolyORB provides a uniform solution to build distributed applications relying either on middleware standards☆23Feb 17, 2026Updated 2 weeks ago
- An Ada controller for static analysis and rules checking☆17Mar 4, 2024Updated 2 years ago
- The XML/Ada toolkit.☆29Jan 26, 2026Updated last month
- Framework for writing Linux kernel modules in Ada☆31Sep 22, 2018Updated 7 years ago
- 🦊 A macOS style theme for Firefox—forked from Lepton(Firefox-UI-Fix)☆25Jun 21, 2023Updated 2 years ago
- A startup code generator for embedded projects☆33Jan 9, 2026Updated last month
- Services on Hyperboria☆30Mar 21, 2019Updated 6 years ago
- Operating System development experiment in Ada☆37Dec 15, 2020Updated 5 years ago
- This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation…☆78Mar 18, 2025Updated 11 months ago
- Platform to submit RFCs for the Ada & SPARK languages☆69Updated this week
- An Ada binding generator from SVD descriptions for bare board ARM devices.☆70Feb 13, 2025Updated last year
- An interface between an Arduino Due or Arduino GIGA and 8088, 8086, V20, V30, 186 or 286 CPUs☆101Oct 23, 2025Updated 4 months ago
- GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.☆79Jan 22, 2026Updated last month
- The Ada Microkernel Project☆116May 13, 2015Updated 10 years ago
- Ada Bare Bones OS development tutorial source code☆90Nov 20, 2016Updated 9 years ago
- OSX app for Bitmessage☆208Jul 8, 2015Updated 10 years ago
- Ada bindings for the GTK+ graphical library.☆103Feb 25, 2026Updated last week
- Sources for learn.adacore.com☆111Feb 26, 2026Updated last week
- Instagram without all the toxic features like reels, home page, explore page. You can still view your friend's reels, stories, view profi…☆165Feb 26, 2026Updated last week
- Synchronize most radio-controlled ("atomic") clocks and watches using almost any phone or tablet☆438Jan 31, 2026Updated last month
- A GPU port of DOOM☆181Jul 17, 2025Updated 7 months ago
- SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada☆163Aug 16, 2022Updated 3 years ago
- Ampcast music player☆252Feb 26, 2026Updated last week
- The | state-of-the-art | secure-by-default | one-touch-deployed | XMPP server for everyone.☆171Oct 31, 2020Updated 5 years ago
- Layout di tastiera per digitare le lettere maiuscole accentate e altri caratteri utili su Windows.☆204Jan 24, 2021Updated 5 years ago
- A geographically sorted list of public peering credentials for joining Hyperboria☆201Feb 21, 2024Updated 2 years ago
- An implementation of the X Window System Protocol in Rust☆238Mar 30, 2023Updated 2 years ago
- ☆308Updated this week
- A list of remote-friendly or full-remote companies that targets Italian talents.☆2,612Oct 31, 2025Updated 4 months ago
- A text-based compositor for modern terminals☆567Sep 14, 2025Updated 5 months ago
- report progress of concurrent applications and display it in various ways☆390Feb 5, 2026Updated last month
- Windows Virtual Desktop, AutoHotkey, Windows 11 support, Windows Server 2022, switch desktop, move window(wintitle) to current desktop; c…☆506Feb 14, 2026Updated 3 weeks ago
- sixel-tmux is a fork of tmux, with just one goal: having the most reliable support of graphics☆508Aug 21, 2024Updated last year
- ☆561Feb 26, 2026Updated last week