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

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

A xmpp gateway to send emails from your xmpp messenger.

retrieve ssl certificate information from xmpp server