Valerio-Mg
Follow
Starred repositories
metamath proof enumerators and other things
Implementation of Pong that runs within a mouse's firmware and renders by moving the cursor fast enough to acheive persistence of vision
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
a fairly minimal raylib zig example codebase using the zig package manager
A massively parallel, high-level programming language
A language server that offers Lua language support - programmed in Lua
Lua Version Manager - Managing and switching between different versions of Lua, LuaJIT and Luarocks made easy
A list of inputs that will beat the vast majority of Pokemon Firered games
Megasource is a CMake-buildable collection of all LÖVE dependencies.
A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. Please DO NOT send pull requests or any other stuff. All communication should be through the Lua mailing lis…
A fast entity component system (ECS) for C & C++
A simple and easy-to-use library to enjoy videogames programming
OpenChat: Advancing Open-source Language Models with Imperfect Data
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
🪟 Soothing pastel theme for Windows Terminal
😸 Soothing pastel theme for the high-spirited!
A community sourced database of game controller mappings to be used with SDL2 Game Controller functionality
💻 An assembler for custom, user-defined instruction sets! https://hlorenzi.github.io/customasm/web/
Threads for Lua and LuaJIT. Transparent exchange of data between threads is allowed thanks to torch serialization.
FNA - Accuracy-focused XNA4 reimplementation for open platforms
GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.