Repository Index

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension

TranslatedAn Agent programming Harness engineering framework, from requirement clarification to trusted delivery

• code-intelligence
• coding-agents
• developer-tools
• knowledge-management

A fork of KDE Breeze decoration with additional options

A Razor class library for interacting with SweetAlert2

• sweetalert
• alert
• popup
• prompt

Zed support for the Godot game engine and the GDScript language

• code-editor
• godot
• godot-engine
• plugin

Protect your SIP Servers from bad actors at https://sentrypeer.org

• sip
• voip
• security-tools
• honeypot

A `neovim` theme that highly restores `vscode`, so that your friends will no longer be surprised that you use `neovim`, because they will think you are using `vscode` ..

D language bindings for the Godot Engine's GDNative API

Personal experimental project to implement clustered shading with WebGPU.

Easily stream your Vimeo videos into Unity or record and publish out to Vimeo.

• unity
• video
• vimeo
• 360

[Deprecated] See @go-catupiri as a direct golang port

• javascript
• wejs
• nodejs

EVTXtract recovers and reconstructs fragments of EVTX log files from raw binary data, including unallocated space and memory images.

OpenFlow Software Switch written in Erlang

Atomic modding framework for Haxe

Flutter package for makes it easy to integrate dialogflow and support dialogflow v2

Natural Language Processing (NLP) library for Crystal

• string-distance
• stemmer
• inflector
• sentiment-analysis

MicroBus is a simple in process Mediator for .NET

• mediator
• c-sharp
• cqrs
• dotnet

The mod manager and modding toolkit for Dota 2: 1,600+ mods from the D2PFX catalog in one click, an item builder with a live 3D preview, and a Workshop for effects, the HUD, colours and the map. Windows and Linux, no account, no telemetry. [email protected]

• dota2
• dota2-mods
• electron
• mod-manager

Wraps around various tools and provides some additional checks/information to produce a centralized report of a PE file.

Emacs dired like file manager for neovim

• neovim-plugin

Inspired by A Dark Room, A Dark Forest is an incremental experimental minimalistic idle game project.

• clicker-game
• desktop-app
• godot
• godot-engine

.NET Cross platform and highly composable middleware for building web request handlers in F#

• ai-low-risk

A self-hosted tool for automatically patching and distributing Android packages, built on Morphe Desktop.

Android TV 13 for PlayStation 4