Soares

MIRIBerkeley

Pinned Repositories

base16.nvim
Base16 colors for neovim
Language:Vim script47 3 45
butane.vim
Light your buffers up
Language:VimL20 2 13
fish.vim
Vim files for the friendly interactive shell
Language:VimL4 2 00
fractals
Python fractals
Language:Python9 3 03
longline.vim
Avoid long lines
Language:Vim script7 3 20
myelin
A controller for Backbone, linking Models to Views
Language:JavaScript11 2 00
Randometer.hs
A set of games that help you calibrate your intuition for randomness.
Language:Haskell6 2 01
smarttab.vim
Tabs for indentation, spaces for alignment.
Language:Vim Script5 2 13
write.vim
Get your author on
Language:Vim Script15 3 04

Soares's Repositories

Soares/base16.nvim
Base16 colors for neovim
Language:Vim script47 3 45
Soares/butane.vim
Light your buffers up
Language:VimL20 2 13
Soares/write.vim
Get your author on
Language:Vim Script15 3 04
Soares/longline.vim
Avoid long lines
Language:Vim script7 3 20
Soares/fish.vim
Vim files for the friendly interactive shell
Language:VimL4 2 00
Soares/config.fish
Fish shell configuration files
Language:Shell3 3 02
Soares/mindingourway.theme
A modified version of the Casper ghost theme for MindingOurWay.com
Language:CSS3 3 01
Soares/soares.github.com
Language:Less2 3 02
Soares/cantor.hs
Implementation of an ordinal notation (up to about the large Veblen ordinal) and some fast-growing functions.
Language:Haskell1 2 0
Soares/config
Miscellaneous dotfiles & configurations
Language:Python1 2 0
Soares/graveyard
Where good code goes to die.
Language:HTML1 2 01
Soares/physics
A mishmash of tools for simulating and visualizing physical systems (Lagrangians, phase spaces, etc.)
Language:JavaScript1 2 0
Soares/trailguide.vim
Navigate past trailing whitespace
Language:Vim script1 2 0
Soares/agda
Agda is a dependently typed programming language / interactive theorem prover.
Soares/Arduino-Boards
Arduino Boards file for Kaleidoscope keyboards
Language:C2 0
Soares/base16-builder
:hammer: Base16 Builder is a nimble command-line tool that generates themes for your favourite programs.
Language:HTML2 0
Soares/cpython
The Python programming language
Language:Python2 0
Soares/data-structure-composer
Automatically choosing fast data structures!
Language:Scala2 0
Soares/fzf.vim
fzf :heart: vim
Language:VimL2 0
Soares/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
2 0
Soares/jupyter-vim-binding
Jupyter meets Vim. Vimmer will fall in love.
Language:JavaScript2 0
Soares/Kaleidoscope-CapsLock
CAPS LOCK plugin for Kaleidoscope
Language:C++2 0
Soares/Kaleidoscope-LEDControl
LED Control plugin for Kaleidoscope.
Language:C++2 0
Soares/Kaleidoscope-LEDEffect-BootGreeting
Make the LED key breathe slowly for a short time when the keyboard boots.
Language:C++2 0
Soares/keyboardio
Language:C++3 01
Soares/libvterm
Mirror of http://bazaar.leonerd.org.uk/c/libvterm/
Language:C2 0
Soares/lightspeed.nvim
🌌 Next-generation motion plugin with incremental input processing, allowing for unparalleled speed with near-zero cognitive effort
Language:Fennel0 0
Soares/Pinger.hs
Crunches my TagTime data.
Language:Haskell2 0
Soares/tensorflow
Computation using data flow graphs for scalable machine learning
Language:C++2 01
Soares/vim-airline
lean & mean status/tabline for vim that's light as air
Language:Vim script2 0