Koka

Koka

License: Apache License 2.0


Description:

Koka is a strongly typed functional language with effect types and handlers, featuring a compiler and interpreter and Perceus garbage-free reference counting for efficient native code.

nitro

nitro

License: 0BSD


Description:

Nitro is a tiny, flexible init system and process supervisor. It can run as PID 1 on Linux or NetBSD, manage services via a directory-based configuration, and support running in containers or as a standalone supervisor.

EntraGoat


EntraGoat

License: MIT


Description:

EntraGoat is a deliberately vulnerable Microsoft Entra ID environment that simulates real-world identity misconfigurations and attack paths for security training. It uses PowerShell scripts and Microsoft Graph APIs to deploy vulnerable configurations in an isolated Entra ID tenant, offering multiple privilege-escalation challenges for hands-on learning.

SparkyFitness

License:


Description:

SparkyFitness is a fitness web application created by CodeWithCJ, providing workout plans and fitness management tools. The project is open source, hosted on GitHub, and designed to help users track their fitness progress with an emphasis on user-friendly interface and community involvement.

walker

walker

License: GPL-3.0 license


Description:

A fast, customizable application launcher built with GTK4 and Rust for Linux desktops, offering features like launching apps, running commands, calculations, and more with a modern interface.

BlueOS Kernel

BlueOS Kernel

License: Apache-2.0 license


Description:

BlueOS Kernel is written in Rust, focusing on security, lightweight design, and generality. It supports POSIX interfaces, Rust’s standard library, and multiple architectures, including ARM and RISCV. The project provides extensive documentation and is aimed at kernel development with a focus on security and efficiency.