jwcross

kickstart.nvim

A launch point for your personal nvim configuration

stanford_alpaca

Code and documentation to train Stanford's Alpaca models, and generate the data.

lean.nvim

neovim support for the Lean theorem prover

theorem_proving_in_lean4

Theorem Proving in Lean 4

lean

Lean 3 Theorem Prover (community fork)

BlackHole

BlackHole is a modern macOS audio loopback driver that allows applications to pass audio to other applications with zero additional latency.

tutorials

Some Lean tutorials

Spectral

Lean-game-maker

This project converts structured Lean code into an interactive browser game.

lftcm2020

Lean for the Curious Mathematician 2020

lean4

Lean 4 programming language and theorem prover

basictex

My basic LaTeX macros and BibTeX file.

catlog

Categorical logic from a categorical point of view

how-to-exit-vim

Below are some simple methods for exiting vim.

fzf

:cherry_blossom: A command-line fuzzy finder

iina

The modern video player for macOS.

KeyboardAvoiding

A SwiftUI view that manages a UIViewController that responds to keyboard events with modified additionalSafeAreaInsets.

swift

The Swift Programming Language

dracula-theme

🧛🏻‍♂️ One theme. All platforms.

Swift-VS-Code

VS Code Language extension Swift for VS Code

vimium

The hacker's browser.

FuzzCheckExample

Example project using FuzzCheck

FuzzCheck

Swift package fuzzing engine

MonsterPaladinBlob

A game with monsters, paladins, and blobs

RxSwift

Reactive Programming in Swift

vim-test

Run your tests at the speed of thought

AudioKit

Audio synthesis, processing, & analysis platform for iOS, macOS and tvOS

alda-core

The core machinery of Alda

alda

A music programming language for musicians. :notes:

mas

:package: Mac App Store command line interface