A curated list of awesome LLVM (including Clang, etc) related resources.

A free, secure and open source app for Android to manage your 2-step verification tokens.

Port of OpenAI's Whisper model in C/C++

Structured Text Generation

A version manager for neovim

✨ AI-powered coding, seamlessly in Neovim

Use your Neovim like using Cursor AI IDE!

Meta package for the Regolith Desktop Environment

A linter for prose.

Animation engine for explanatory math videos

The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.

A curated list of awesome mathematics resources

😎 Awesome lists about all kinds of interesting topics

GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.

An awesome repository of local AI tools

A Lua code formatter

Neovim plugin for interacting with LLM's and building editor integrated prompts.

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

GPU & Accelerator process monitoring for AMD, Apple, Huawei, Intel, NVIDIA and Qualcomm

⚡️An awesome list of the best Termux hacking tools

The website for the JuliaGenerativeAI organization.

A modern curriculum vitae class for LaTeX

VIM Table Mode for instant table creation.

A diff filter highlighting which line parts have changed

Bitcoin Core integration/staging tree

Community maintained fork of pdfminer - we fathom PDF

Use Vim everywhere you've always wanted to

Sioyek is a PDF viewer with a focus on textbooks and research papers

A syntax-highlighting pager for git, diff, grep, and blame output