GRand Unified Bootloader http://www.gnu.org/software/grub/grub.html

Neo Modding API for Minecraft: Java Edition, based on Forge

The seL4 microkernel

Linux kernel source tree

Apache Lucene open-source search software

a new distinguishers model for GIFT-128 and ASCON-PERMUTATION

Source Code for Differential-ML Distinguisher

Neural Aided Statistical Attack for Cryptanalysis

Code for the project

A digital logic designer and circuit simulator.

A Java API for generating .java source files.

REST API for converting Lilypond file format to PDF and MIDI

Java wrapper for the popular chat & VOIP service: Discord https://discord.com