julian Goto Github PK

mathlib-tools

Development tools for https://github.com/leanprover-community/mathlib

mathlib4

Work in progress mathlib port for lean 4

mathlib4_experiments

Porting random files from Lean 3 mathlib into Lean 4, just for fun.

minion

A microframework based on evil intentions and whatever else you've got

mkpkg

Create new Python packages... hooray!

ml-crash-course

Materials for a Machine Learning Crash Course Given at Columbia University

monte-vim

Monte syntax highlighting for vim

movies

Movie lists

named-branch-action

hg-style named branches via a GitHub action

named-branch-action-example

Example repo for https://github.com/Julian/named-branch-action

natural_number_game

Building the natural numbers in Lean.

neovim

Vim-fork focused on extensibility and usability

next-export-optimize-images

Optimize images at build time with Next.js.

nile-examples

Examples that demonstrate how to use Nile for infrastructure SaaS products

nox

Flexible test automation for Python

nvim-lint

An asynchronous linter plugin for Neovim (>= 0.5) complementary to the built-in Language Server Protocol support.

nvim-lspconfig

Quickstart configurations for the Nvim LSP client

nvim-lspinstall

Provides the missing :LspInstall for nvim-lspconfig

nvim-treesitter

Nvim Treesitter configurations and abstraction layer

opencv-cffi

A random collection of OpenCV's functionality, wrapped via CFFI

packaging.python.org

Python Packaging User Guide

parsley

pb

peps

Python Enhancement Proposals

photography

Trying to satisfy my photography hobby. Wanderlust included.

pi

Installation and setup for my RPi

pip

The PyPA recommended tool for installing Python packages

pipfile

pipy

The structural portions of my Pi setup

playlists

Music playlists