squawai's Stars
dair-ai/Prompt-Engineering-Guide
🐙 Guides, papers, lecture, notebooks and resources for prompt engineering
koalaman/shellcheck
ShellCheck, a static analysis tool for shell scripts
matze/mtheme
A modern LaTeX Beamer theme
Shougo/deoplete.nvim
:stars: Dark powered asynchronous completion framework for neovim/Vim8
lervag/vimtex
VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.
junegunn/goyo.vim
:tulip: Distraction-free writing in Vim
sarabander/sicp
HTML5/EPUB3 version of SICP
gharlan/alfred-github-workflow
GitHub Workflow for Alfred
cocopon/iceberg.vim
:antarctica: Bluish color scheme for Vim and Neovim
Shougo/denite.nvim
:dragon: Dark powered asynchronous unite all interfaces for Neovim/Vim8
HoTT/book
A textbook on informal homotopy type theory
joshuaclayton/unused
Deprecated; see https://github.com/unused-code/unused
willfarrell/alfred-encode-decode-workflow
Encoding and decoding a string into multiple variations.
chrisdone/hell
Haskell-based shell scripting language
pcafrica/focus-beamertheme
Focus: a minimalist presentation theme for LaTeX Beamer.
gelisam/hawk
Haskell text processor for the command-line
ryankeleti/ega
amateur translation project of Grothendieck's EGA.
piroor/tweet.sh
Twitter client written in simple Bash script
pirapira/eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
tumblr/tumblr_client
A Ruby Wrapper for the Tumblr v2 API
Daniel-Diaz/HaTeX
The Haskell LaTeX library.
kai-tub/latex-beamer-pure-minimalistic
A true minimalistic LaTeX beamer template
Runnrairu/Machine-Learning-text
一般的な機械学習入門
1HaskellADay/1HAD
1 Haskell A Day exercises
buntine/Simply-Scheme-Exercises
All of the exercises (and their solutions!) from the Berkeley textbook Simply Scheme.
tttmmmyyyy/fixlang
jhickner/hobbes
A cross-platform file activity monitor
enunun/introductiontomathmaticallogic
ksuenaga/winskel-textbook-jp
Glynn Winskel 著,末永幸平他訳,「プログラミング言語の形式的意味論入門」(丸善出版, 2023)のサポートサイト
pirapira/neta
neta notes