Tama McGlinn's repositories

AdaBots

Learn Ada by programming Minecraft robots!

Language:AdaLicense:MITStargazers:12Issues:4Issues:2

submodule_bundler

Creates and unpacks bundles of all submodules so that you can easily transfer repositories by sneakernet

Language:PythonStargazers:8Issues:3Issues:0

flog-menu

vim quickui menu for fugitive and flog commands

Language:Vim ScriptStargazers:3Issues:2Issues:0

nvim-lsp-gpr-selector

Neovim plugin for configuring ALS via LSP, allowing you to select the GPR project to use.

vim-dirhere

Vim plugin for terminal directory swapping

Language:Vim ScriptStargazers:1Issues:2Issues:0

AdaBots_examples

Example AdaBots programs

Language:AdaStargazers:0Issues:2Issues:1

dotfiles

My dotfiles, to sync settings & keybindings for neovim, tmux, tig, bash etc.

Language:ShellStargazers:0Issues:1Issues:1

abe-ada-options

(Neo)vim plugin for Ada options

Language:Vim ScriptStargazers:0Issues:2Issues:0

adabots_editor

ABE is a simple editor for AdaBots programs, preconfigured to understand Ada.

Language:Vim ScriptStargazers:0Issues:2Issues:0

Anabaptist.github.io

Anabaptists of the Netherlands website

Language:HTMLStargazers:0Issues:2Issues:0

floggit

Fast, visual, configurable commandline git editor tailed to keystroke optimizers

Language:Vim ScriptStargazers:0Issues:2Issues:0

git-worktree.nvim

Stable, updated version of git-worktree.nvim by ThePrimeagen / polarmutex / others

Language:LuaStargazers:0Issues:1Issues:0

gitpod_alire_dotfiles

just a hackaround for gitpod to work with Alire

Language:ShellStargazers:0Issues:2Issues:0

gnat-ccg-example

Example using Adacore GNAT Common Code Generator; generating C code from Ada/SPARK

Language:MakefileStargazers:0Issues:2Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

nvim-lspconfig

Quickstart configurations for the Nvim LSP client

Language:LuaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

project_templates

Project templates for mkproj

Language:AdaStargazers:0Issues:2Issues:0

spark-by-example

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

Language:AdaStargazers:0Issues:1Issues:0

SudoEdit.vim

Edit Files using sudo or su or any other tool

Language:Vim ScriptStargazers:0Issues:1Issues:0
Language:EJSLicense:MITStargazers:0Issues:2Issues:0

vim-ada

Complete Ada-Mode as Vim-Ball or Tar.bz2

Language:Vim ScriptLicense:GPL-3.0Stargazers:0Issues:0Issues:0

vim-bazeljump

Jump to bazel definitions - a stopgap until language servers work properly for bazel

Language:Vim ScriptStargazers:0Issues:2Issues:0

vim-bettergf

map gf to open file in split above

Language:Vim ScriptStargazers:0Issues:2Issues:2

vim-flog

A lightweight and powerful git branch viewer for vim.

Language:Vim ScriptStargazers:0Issues:1Issues:0

vim-floggit-keybindings

vim plugin to hold the keybindings for floggit (https://github.com/TamaMcGlinn/floggit)

Language:Vim ScriptStargazers:0Issues:1Issues:0

vim-fugitive

fugitive.vim: A Git wrapper so awesome, it should be illegal

Language:Vim ScriptStargazers:0Issues:1Issues:0

vim-git-essentials

(neo)vim plugin containing various settings and miscellaneous functions and fixes for working with a set of essential git plugins

Language:Vim ScriptStargazers:0Issues:2Issues:0

vim-gitremotes

Vim plugin for managing git remotes

Language:Vim ScriptStargazers:0Issues:1Issues:0

vimrc

My vimrc.vim and related configuration files

Language:Vim ScriptStargazers:0Issues:2Issues:0

wemux

Multi-User Tmux Made Easy

Language:ShellLicense:MITStargazers:0Issues:1Issues:0