Ghidra is a software reverse engineering (SRE) framework

Open Source Identity and Access Management For Modern Applications and Services

The automation tower defense RTS

GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

Empowering Data Intelligence with Distributed SQL for Sharding, Scalability, and Security Across All Databases.

A collection of algorithms and data structures

MIT Deep Learning Book in PDF format (complete and parts) by Ian Goodfellow, Yoshua Bengio and Aaron Courville

Apereo CAS - Identity & Single Sign On for all earthlings and beyond.

Modifications to the Minecraft base files to assist in compatibility between mods. New Discord: https://discord.minecraftforge.net/

Enso Analytics is a self-service data prep and analysis platform designed for data teams.

Digital logic design tool and simulator

signal-cli provides an unofficial commandline, JSON-RPC and dbus interface for the Signal messenger.

1.21.11 Lightweight Minecraft server

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

ERP beyond your fridge, now on your phone – An awesome companion app for Grocy

Phoenicis PlayOnLinux and PlayOnMac 5 repository

PolyGlot is a conlang construction toolkit.

Bits'N'Picas - Bitmap & Emoji Font Creation & Conversion Tools

Java Port of Recast & Detour navigation mesh toolset

Apache Directory Studio

The template & example repository for Mindustry server plugins

An implementation of BBP through Bellard's formula to calculate the nth digit of Pi.