Thom Dickson (cosmicboots)

cosmicboots

Geek Repo

Company:@ASU-CS-Research

Location:Stuck in Vim

Home Page:https://secure.garden

Github PK Tool:Github PK Tool


Organizations
appstate-apphack
ASU-CS-Research

Thom Dickson's repositories

unicode_picker.nvim

Unicode picker for telescope.nvim

Language:LuaLicense:MITStargazers:5Issues:2Issues:0

haskell-regex

A regular expression find and replace engine built in Haskell

Language:HaskellStargazers:1Issues:0Issues:0
Language:PythonStargazers:0Issues:1Issues:0
Language:RustStargazers:0Issues:0Issues:0

agda.nvim

NeoVim plugin for interacting with Agda written in Lua

Language:LuaStargazers:0Issues:0Issues:0
Language:OCamlStargazers:0Issues:0Issues:0

caribou

A small, simple Python migrations library for SQLite databases.

Language:PythonStargazers:0Issues:0Issues:0

ece.nvim

Create .editorconfig files from current Neovim buffer settings

Language:LuaLicense:MITStargazers:0Issues:0Issues:0

iPCF

Intensional PCF interpreter

Language:OCamlStargazers:0Issues:0Issues:0

javaBattleship

A simple javaBattleship game

Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

matterbridge

bridge between mattermost, IRC, gitter, xmpp, slack, discord, telegram, rocketchat, twitch, ssh-chat, zulip, whatsapp, keybase, matrix, microsoft teams, nextcloud, mumble, vk and more with REST API (mattermost not required!)

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0

min-vid

Popout video player in Firefox

Language:JavaScriptLicense:MPL-2.0Stargazers:0Issues:1Issues:0

neorg

Modernity meets insane extensibility. The future of organizing your life in Neovim.

Language:LuaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

phoenix

A proof-of-concept file synchronization system

Language:RustStargazers:0Issues:1Issues:13

rss_reader

A simple web-based RSS reader

Language:OCamlStargazers:0Issues:1Issues:0

system-theme.nvim

Keep Neovim in sync with your system color scheme

Language:LuaStargazers:0Issues:0Issues:0
Language:C++License:GPL-2.0Stargazers:0Issues:0Issues:0

yadm

Yet Another Dotfiles Manager

Language:ShellLicense:NOASSERTIONStargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0

neovide

No Nonsense Neovim Client in Rust

License:MITStargazers:0Issues:0Issues:0
Language:OCamlStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0

zap

blazingly fast backends in zig

Language:CLicense:MITStargazers:0Issues:0Issues:0
Language:ZigStargazers:0Issues:0Issues:0

zpl

Python ZPL2 Library

Language:PythonLicense:AGPL-3.0Stargazers:0Issues:0Issues:0