squawai

winskel-textbook-jp

Glynn Winskel 著，末永幸平他訳，「プログラミング言語の形式的意味論入門」（丸善出版, 2023）のサポートサイト

introductiontomathmaticallogic

Prompt-Engineering-Guide

🐙 Guides, papers, lecture, notebooks and resources for prompt engineering

fixlang

latex-beamer-pure-minimalistic

A true minimalistic LaTeX beamer template

focus-beamertheme

Focus: a minimalist presentation theme for LaTeX Beamer.

mtheme

A modern LaTeX Beamer theme

Machine-Learning-text

一般的な機械学習入門

ega

amateur translation project of Grothendieck's EGA.

alfred-encode-decode-workflow

Encoding and decoding a string into multiple variations.

denite.nvim

:dragon: Dark powered asynchronous unite all interfaces for Neovim/Vim8

deoplete.nvim

:stars: Dark powered asynchronous completion framework for neovim/Vim8

vimtex

VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.

alfred-github-workflow

GitHub Workflow for Alfred

eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs

neta

neta notes

iceberg.vim

:antarctica: Bluish color scheme for Vim and Neovim

Simply-Scheme-Exercises

All of the exercises (and their solutions!) from the Berkeley textbook Simply Scheme.

sicp

HTML5/EPUB3 version of SICP

tumblr_client

A Ruby Wrapper for the Tumblr v2 API

goyo.vim

:tulip: Distraction-free writing in Vim

tweet.sh

Twitter client written in simple Bash script

book

A textbook on informal homotopy type theory

1HAD

1 Haskell A Day exercises

HaTeX

The Haskell LaTeX library.

hell

Haskell-based shell scripting language

hobbes

A cross-platform file activity monitor

shellcheck

ShellCheck, a static analysis tool for shell scripts

unused

Deprecated; see https://github.com/unused-code/unused

hawk

Haskell text processor for the command-line