|
|
Java |
2 |
Android game of TicTacToe written in java |
Feb 03, 2023 |
|
|
Rust |
3 |
TicTacToe game from React.js Tutorial, written in Rust |
Mar 31, 2020 |
|
|
Assembly |
4 |
TicTacToe game |
Apr 13, 2023 |
|
|
Java |
2 |
TicTacToe game |
Aug 08, 2022 |
|
|
Haskell |
3 |
random tictactoe game |
Dec 05, 2019 |
|
|
C++ |
2 |
Console TicTacToe game |
Apr 21, 2023 |
|
|
TypeScript |
4 |
Simple TicTacToe game |
Jan 17, 2023 |
|
|
Dart |
2 |
A TicTacToe game |
Jan 05, 2023 |
|
|
Ada |
13 |
A cryptographic framework, proven for correctness in SPARK |
Jan 31, 2023 |
|
|
Vala |
4 |
A simple TicTacToe game written in vala for elementary OS |
May 05, 2022 |
|
|
Perl |
2 |
Simple tictactoe game for the command line written in Perl |
Feb 17, 2023 |
|
|
Python |
4 |
Tictactoe game using Python and Pygame |
Apr 18, 2022 |
|
|
Ada |
4 |
Pretty printing library for Ada |
Mar 14, 2022 |
|
|
Ada |
4 |
Incremental analysis in Ada |
May 15, 2021 |
|
|
Ada |
4 |
BitTorrent protocol implementation in Ada |
Dec 06, 2020 |
|
|
Ada |
4 |
Ada 2012 bindings for libcanberra |
Jul 30, 2022 |
|
|
Ada |
4 |
Demo project using Orka 3D engine |
May 21, 2022 |
|
|
Ada |
4 |
GNAT 2 GOTO Converter |
Aug 31, 2021 |
|
|
Ada |
4 |
None |
Nov 22, 2021 |
|
|
Ada |
4 |
Automated PCAP Report Generator with Threat Intel Integration |
Aug 19, 2022 |
|
|
Ada |
4 |
Ada implementation of D’Hondt electoral result calculator |
Mar 21, 2022 |
|
|
Ada |
4 |
Progress indicators for command line tools in Ada. |
Feb 11, 2022 |
|
|
Ada |
5 |
Coroutines is a library for non-preemptive multitasking in Ada |
May 02, 2022 |
|
|
Ada |
5 |
An Ada 2012 library for document container files |
Jul 30, 2022 |
|
|
Ada |
5 |
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL |
May 13, 2021 |
|
|
Ada |
6 |
Implementation of the Secure Hashing Standard SHA-1 as defined in FIPS PUB 180-1. |
May 24, 2021 |
|
|
Ada |
6 |
Ada 2012 bindings for Wayland |
Aug 13, 2022 |
|
|
Ada |
6 |
Ada/SPARK port of the xoshiro128++ and xoshiro256++ pseudo-random number generators |
Jan 31, 2022 |
|
|
Ada |
6 |
Latin-to-English translation based on William Whitaker's WORDS 1.97FC |
May 07, 2022 |
|
|
Ada |
6 |
Supports building the Ada Semantic Interface Specification library and tools for FSF GCC variants. Tracks … |
Aug 04, 2022 |
|
|
Ada |
6 |
ColdFrame generates Ada framework code and documentation from UML models. |
Feb 24, 2022 |
|
|
Ada |
6 |
None |
Mar 11, 2022 |
|
|
Ada |
6 |
Iterator-based directory walks in Ada |
Jul 30, 2022 |
|
|
Ada |
6 |
Ada Unit Testing Library |
Dec 31, 2021 |
|
|
Ada |
6 |
Just a small fun project to experiment with Ada |
Feb 15, 2021 |
|
|
Ada |
7 |
mirror of https://review.coreboot.org/libhwbase.git |
Jun 13, 2021 |
|
|
Ada |
7 |
Ada binding to Tcl/Tk, based on TASH |
May 01, 2022 |
|
|
Ada |
7 |
An Ada 2012 library to replace names between colons with emojis |
Jul 31, 2022 |
|
|
Ada |
7 |
The Ada Conformity Assessment Test Suite, customised for GCC. |
Oct 23, 2021 |
|
|
Ada |
8 |
An Ada 2012 library for monitoring filesystem events using Linux' inotify API |
Feb 03, 2022 |
|
|
Ada |
8 |
Semantic versioning in Ada |
Oct 26, 2021 |
|
|
Ada |
8 |
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, … |
Aug 15, 2022 |
|
|
Ada |
9 |
JSON Web Token (JWT) implementation in Ada |
Apr 26, 2022 |
|
|
Ada |
9 |
An Ada 2012 emulation of Charles Babbage’s Analytical Engine |
Jul 14, 2022 |
|
|
Ada |
10 |
A demo of best practices for open-source Ada/SPARK development |
Aug 07, 2022 |
|
|
Ada |
10 |
Command Line Interface Components |
Jul 17, 2022 |
|
|
Ada |
11 |
Language Server Protocol for Ada |
Apr 01, 2022 |
|
|
Ada |
13 |
Yet another hypervisor detection tool. Pure Ada 2005, supports Linux and FreeBSD |
Jul 24, 2021 |
|
|
Ada |
14 |
This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so … |
Jul 01, 2022 |
|
|
Ada |
345 |
Context-based code search tool |
Sep 01, 2022 |