FreeSynd
FreeSynd is a cross-platform, GPLed
reimplementation of the classic Bullfrog
game, Syndicate. Features:Cross platform
reimplementation User interface: SDL.
Pr...
Enter
OneDev
OneDev is a comprehensive Git server
that combines source code management
with built-in CI/CD, issue tracking, and
project management tools. It offers an
intui...
Enter
WinUtil
WinUtil by Chris Titus Tech is a
comprehensive Windows utility script
designed to automate system maintenance,
streamline software installations, and
apply per...
Enter
Quake Injector Qt
Quake Injector Qt is an application
that you can download and install maps
automatically from the website
quaddicted.com Quake Injector Qt
installation with qu...
Enter
Tokenizer
A small library for converting
tokenized PHP source code into XML. You
can add this library as a local,
per-project dependency to your project
using Composer. ...
Enter
Git for Windows
Git for Windows is the Windows port of
Git, a fast, scalable, distributed
revision control system with a rich
command set. Git for Windows brings the
full feat...
Enter
Lean Copilot
LeanCopilot integrates large language
models (LLMs) as copilots for theorem
proving in the Lean proof assistant. It
assists users by suggesting tactics,
premis...
Enter
OpenPFGW
OpenPFGW is software that is designed
to perform PRP and primality tests on
numbers of specific forms. This software
currently run on any x86 hardware with
the...
Enter
CodeCompanion
Currently supports Anthropic, Copilot,
Gemini, Ollama and OpenAI adapters.
Features:SCopilot Chat meets Zed AI, in
NeovimSupport for Anthropic, Copilot,
Gemini...
Enter