Lists (4)
Stars
A backport of the Realtek Wifi 5 drivers from the wireless-next repo.
A pack of GRUB2 themes for Honkai: Star Rail
The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"
An open-source network stresser tool but it's Hatsune Miku
FDH2 / UxPlay
Forked from antimof/UxPlayAirPlay Unix mirroring server
An introduction to programming language theory in Agda
Code samples for my book "Neural Networks and Deep Learning"
The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes
A implementation of a memory allocator in Rust without std.
Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!
flat assembler 1 - reconstructed source history
Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.
A community-maintained Python framework for creating mathematical animations.