-
qt6ct Public
Forked from trialuser02/qt6ctQt6 Configuration Tool
C++ BSD 2-Clause "Simplified" License UpdatedJul 14, 2025 -
emacs-jedi Public
Forked from tkf/emacs-jediPython auto-completion for Emacs
Emacs Lisp UpdatedJun 2, 2025 -
-
AdiButtonAuras Public
Forked from AdiAddons/AdiButtonAurasWoW addon - Display auras on action buttons.
Lua GNU General Public License v3.0 UpdatedJan 26, 2024 -
coq Public
Forked from rocq-prover/rocqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedJan 4, 2024 -
lua-mode Public
Forked from immerrr/lua-modeEmacs major mode for editing Lua
Emacs Lisp GNU General Public License v3.0 UpdatedOct 8, 2023 -
company-box Public
Forked from sebastiencs/company-boxA company front-end with icons
Emacs Lisp UpdatedMar 22, 2023 -
TipTac Public
Forked from frozn/TipTacWoW AddOn TipTac (bugfixes)
Lua GNU General Public License v3.0 UpdatedMar 5, 2023 -
ppx_inline_test Public
Forked from janestreet/ppx_inline_testFork of Jane Street's ppx_inline_test, with base library dependence removed.
OCaml MIT License UpdatedJul 31, 2022 -
company-jedi Public
Forked from emacsorphanage/company-jediCompany backend for Python jedi
Emacs Lisp UpdatedJan 19, 2022 -
rotp-public Public
Forked from rayfowler/rotp-publicPublic repository for Remnants of the Precursors
Java Other UpdatedOct 14, 2021 -
-
cpython Public
Forked from python/cpythonThe Python programming language
Python Other UpdatedFeb 5, 2021 -
flymake-luacheck Public
Flymake backend to check Lua files using luacheck.
-
vex Public
Forked from sashahart/vexRun a command in the named virtualenv.
Python MIT License UpdatedFeb 20, 2020 -
gson Public
Forked from google/gsonA Java serialization/deserialization library to convert Java Objects into JSON and back
HTML Apache License 2.0 UpdatedFeb 20, 2018 -
LibPlayerSpells-1.0 Public
Forked from AdiAddons/LibPlayerSpells-1.0WoW addon library - additional information about player spells.
Lua GNU General Public License v3.0 UpdatedJan 15, 2017 -
Lunatic-Python Public
Lunatic Python is a two-way bridge between Python and Lua. This is a branch of Gustavo Niemeyer's code at http://labix.org/lunatic-python
-
{{ message }}