beleon

followers

following

stars

Germany

Organizations

SecureSmartHome

Leon Becker's starred repositories

c3sp

Decision Support System for Cloud Provider Selection

Language:HaskellBSD-3-Clause100

awesome

😎 Awesome lists about all kinds of interesting topics

CC0-1.031204600

haskell-sdl2-examples

SDL2 tutorial code in Haskell

Language:HaskellGPL-2.013800

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

dino-rush

🌋 Endless runner game

Language:HaskellBSD-3-Clause19400

coala

coala provides a unified command-line interface for linting and fixing all your code, regardless of the programming languages you use.

Language:PythonAGPL-3.0353400

osv-apps

OSv Applications

Language:Makefile13600

mirage

MirageOS is a library operating system that constructs unikernels

Language:OCamlISC248900

HaLVM

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

Language:HaskellBSD-3-Clause104600

i3

A tiling window manager for X11

Language:CBSD-3-Clause929900

osv

OSv, a new operating system for the cloud.

Language:CNOASSERTION406400

glfw

A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input

Language:CZlib1261500

gloss

Painless 2D vector graphics, animations and simulations.

Language:Haskell39500

bullet3

Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.

Language:C++NOASSERTION1223200

libgdx

Desktop/Android/HTML5/iOS Java game development framework

Language:JavaApache-2.02300200

RetroArch

Cross-platform, sophisticated frontend for the libretro API. Licensed GPLv3.

Language:CGPL-3.0983500

godot

Godot Engine – Multi-platform 2D and 3D game engine

Language:C++MIT8698600

haxe

Haxe - The Cross-Platform Toolkit

Language:Haxe603900

openfl

The Open Flash Library for creative expression on the web, desktop, mobile and consoles.

Language:HaxeMIT187800

mpv

🎥 Command line video player

Language:CNOASSERTION2687100

git-prompt.zsh

A fast, customizable, pure-shell, asynchronous Git prompt for Zsh

Language:ShellNOASSERTION23900

eve

REST API framework designed for human beings

Language:PythonNOASSERTION667600

lila

♞ lichess.org: the forever free, adless and open source chess server ♞

Language:ScalaAGPL-3.01488700

swagger-codegen

swagger-codegen contains a template-driven engine to generate documentation, API clients and server stubs in different languages by parsing your OpenAPI / Swagger definition.

Language:MustacheApache-2.01678500

way-cooler

Wayland compositor for AwesomeWM

Language:CMIT213700

meson

The Meson Build System

Language:PythonApache-2.0541300

sway

i3-compatible Wayland compositor

Language:CMIT1417800

wlroots

A modular Wayland compositor library

Language:CMIT214200

waymonad

A wayland compositor based on ideas from and inspired by xmonad

Language:HaskellLGPL-2.183800

BrotBoxEngine

A C++ prototyping engine that is striving for an easy to use API, hiding all the dirty details so that you don't have to care.

Language:C++NOASSERTION5500