User-friendly WebUI for LLMs (Formerly Ollama WebUI)

An implementation of the Augmented Random Search algorithm

Components as records of functions for Haskell

Rich is a Python library for rich text and beautiful formatting in the terminal.

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

NOTE: Most of the contents of this repository have been migrated to the new devcontainers GitHub org (https://github.com/devcontainers). See https://github.com/devcontainers/template-starter and ht…

🦜🔗 Build context-aware reasoning applications

Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more

LaTeX development container for Visual Studio Code Remote Containers Development

Integrate Magisk root and Google Apps into WSA (Windows Subsystem for Android)

Scripts to install Google Apps into a WSA image. Plus optional root

Application Kernel for Containers

Docker Desktop extension adding Tailscale networking.

GPU-Jupyter: Leverage the flexibility of Jupyterlab through the power of your NVIDIA GPU to run your code from Tensorflow and Pytorch in collaborative notebooks on the GPU.

A tool for building artifacts from source and injecting into container images

Transforms UDP stream into (fake) TCP streams that can go through Layer 3 & Layer 4 (NAPT) firewalls/NATs.

Copy the current time of the video to clipboard.

Google Drive client for the commandline

Google Drive CLI Client

A fork of Git containing Microsoft-specific patches.

Mesh optimization library that makes meshes smaller and faster to render

📝 File hashing and checking shell extension

Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica

Checkpoint/Restore tool

glTF Sample Models

Open3D: A Modern Library for 3D Data Processing

🛠 All-in-one web-based IDE specialized for machine learning and data science.

Enoki: structured vectorization and differentiation on modern processor architectures

basically my settings for MPV