AxelSchneewind

Axel Schneewind's starred repositories

Gadgetbridge

We are on codeberg.org now! https://codeberg.org/Freeyourgadget/Gadgetbridge - Gadgetbridge - A free and cloudless replacement for your gadget vendors' closed source Android applications. Supports Pebble, Mi Band, Liveview, HPlus and more.

Language:JavaAGPL-3.0425100

docker-lineage-cicd

Docker microservice for LineageOS Continuous Integration and Continous Deployment

Language:ShellGPL-3.049000

Unciv

Open-source Android/Desktop remake of Civ V

Language:KotlinMPL-2.0839200

GmsCore

Free implementation of Play Services

Language:JavaApache-2.0838100

Project-Airframe

A fully custom open source Smartwatch with all the features you are used in normal smartwatches

Language:C1600

Vulkan-Profiles

Vulkan Profiles Tools

Language:C++NOASSERTION11500

manim

A community-maintained Python framework for creating mathematical animations.

Language:PythonMIT2144600

rubato

Create smooth animations with a slope curve for awesomeWM

Language:LuaMIT25300

JoltPhysics

A multi core friendly rigid body physics and collision detection library. Written in C++. Suitable for games and VR applications. Used by Horizon Forbidden West.

Language:C++MIT653300

BS

Implementation of the BS language as created by Mark Rendle at BuildStuff.lt 2014. Refer to this repo for information and canonical list of language features

Language:F#20600

CppCoreGuidelines

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

Language:CSSNOASSERTION4257700

titus-awesome

Custom AwesomeWM Theme

Language:LuaGPL-3.034700

graphonline

This is source code of graphonline service. Graphonline helps visualize graph and applies a lot of algorithms.

Language:JavaScriptMIT36400

browsix

Browsix is a Unix-like operating system for the browser.

Language:JavaScriptNOASSERTION315400

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXNOASSERTION1093300

free-programming-books

:books: Freely available programming books

CC-BY-4.033543000

supercollider

An audio server, programming language, and IDE for sound synthesis and algorithmic composition.

Language:C++GPL-3.0544800

FuzzyOS

32-bit x86 multiprocessing OS capable of running console or graphical user applications.

Language:CApache-2.02000

MentOS

An educational 32-bit linux-like Operating System, with public bachelor- and master-level course slides.

Language:CMIT12500

skp

PlusCal formulations of various solutions of the critical section problem like Lamport's Fast Mutual Exclusion algorithm or Dekker's algorithm to perform model checking on these algorithms.

Language:Shell900