conornewton
Computational Statistics and Data Science (PhD) student at the University of Bristol.
Bristol/London
conornewton's Stars
neovim/neovim
Vim-fork focused on extensibility and usability
swaywm/sway
i3-compatible Wayland compositor
davatorium/rofi
Rofi: A window switcher, application launcher and dmenu replacement
qutebrowser/qutebrowser
A keyboard-driven, vim-like browser based on Python and Qt.
kivy/python-for-android
Turn your Python application into an Android APK
Alexays/Waybar
Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:
coq/coq
Coq 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 development of machine-checked proofs.
emacs-evil/evil
The extensible vi layer for Emacs.
leanprover/lean3
Lean Theorem Prover
emersion/mako
A lightweight Wayland notification daemon
skywind3000/asyncrun.vim
:rocket: Run Async Shell Commands in Vim 8.0 / NeoVim and Output to the Quickfix Window !!
excaliburjs/Excalibur
🎮 Your friendly TypeScript 2D game engine for the web 🗡️
winterheart/broadcom-bt-firmware
Repository for various Broadcom Bluetooth firmware
emersion/grim
Grab images from a Wayland compositor
eXeC64/imv
Image viewer for X11/Wayland
edwinb/Blodwen
A prototype successor to Idris
majutsushi/urxvt-font-size
Change the urxvt font size on the fly
KeitaNakamura/neodark.vim
A dark color scheme for vim
kfl/mosml
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
stepchowfun/proofs
My personal repository of formally verified mathematics.
kbuzzard/xena
Lean Library currently studying for a degree at Imperial College
the-lambda-church/coquille
Interactive theorem proving with Coq in vim.
asymingt/rts5139
Fix for RTS5129 USB MMC card reader on Linux 3.16+ kernels
wtetzner/waterbear
Assembler/Disassembler for the Dreamcast VMU
JenniferMack/tunnelbear-helper
A script and configuration files for ArchLinux for use with the TunnelBear VPN service.
regnarg/urxvt-config-reload
zenzike/yoda
A simple combinator library
conornewton/vim-pandoc-markdown-preview
Vim plugin for previewing pandoc markdown
conornewton/vim-latex-preview
Latex Preview Plugin for Vim
conornewton/dotfiles
linux-dotfiles