Mathias Green's repositories
botan
Cryptography Toolkit
ComfyUI
The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.
ComfyUI-GGUF
GGUF Quantization support for native ComfyUI models
ComfyUI_examples
Examples of ComfyUI workflows
daikon
Dynamic detection of likely invariants
edb
The next-generation debugger for Erlang.
erlang_taint_analysis
A dynamic taint analysis for Erlang
erlls
Erlang language server
gemini-cli
An open-source AI agent that brings the power of Gemini directly into your terminal.
ghostty
đź‘» Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
HRM
Hierarchical Reasoning Model Official Release
llama.cpp
LLM inference in C/C++
MatrixMultiplicationOptimization
Optimizations for matrix multiplication
observer_cli
Visualize Erlang/Elixir Nodes On The Command Line
otp
Erlang/OTP
paxml
Pax is a Jax-based machine learning framework for training large scale models. Pax allows for advanced and fully configurable experimentation and parallelization, and has demonstrated industry leading model flop utilization rates.
proper
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Quine
Quines demonstrating self-propagation
theBeamBook
A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.
trustfall
A query engine for any combination of data sources. Query your files and APIs as if they were databases!
vscode
Visual Studio Code
vscode-copilot-chat
Copilot Chat extension for VS Code
Wan2.2
Wan: Open and Advanced Large-Scale Video Generative Models