Actor-based state management & orchestration for complex app logic.

A Coq library for Homotopy Type Theory

A textbook on informal homotopy type theory

👑 Functional WebGL

A vector field explorer

Rosie Pattern Language (RPL) and the Rosie Pattern Engine have MOVED!

An animation library for LÖVE

Free Lossless Image Format

💫 Industrial-strength Natural Language Processing (NLP) in Python

A collection of useful stream utility modules for writing better code using streams

Lua serializer and pretty printer.

Custom ncurses chiptune tracker

CiteSeerX public repository

bundesgesetznetzwerkübersicht

execute commands via native messaging in chrome

API Documentation Browser

WebGL 2D Light Transport

⚠️ This project is not maintained anymore! Please go to https://github.com/visjs

Graph drawing library for JavaScript

Shadertoy ➡️ LÖVE GLSL || Converter

A toolkit for mapping networks of political and economic influence through diverse types of entities and their relations. Accessible at http://granoproject.org

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

love2d shoot 'em up

Mirror of https://gitlab.redox-os.org/redox-os/redox

A Virtual DOM and diffing algorithm

A functional and reactive JavaScript framework for predictable code

A time traveling debugger for Cycle.js

MOVED

Makes mpv automatically invoke the "xrandr" tool to set the best suitable parameters for the display output