Beast code in Giters

Rafal Kolanski's repositories

Stream VR games from your PC to your headset via Wi-Fi

Language:RustMIT000

A magic mod for Minecraft based on nature and plant life.

Language:Java010

Fork of JEdit DirtyGutter plugin to support xsymbols

010

git mirror of the Munich isabelle hg repository

Language:IsabelleNOASSERTION000

Mangled version of jEdit for use with Isabelle

Language:Java010

An xsymbol-enabled fork of a jEdit plugin that adds highlights in the gutter for lines that have been changed since the last Git commit

Language:JavaGPL-2.0000

A key remapping daemon for linux.

Language:CMIT000

seL4 specification and proofs

Language:IsabelleNOASSERTION000

The seL4 microkernel

Language:CNOASSERTION000

A gradio web UI for running Large Language Models like LLaMA, llama.cpp, GPT-J, Pythia, OPT, and GALACTICA.

Language:PythonAGPL-3.0000

A development resource list for all things XR

000