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

An opinionated 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

markdown preview plugin for (neo)vim

Neovim's answer to the mouse 🦘

Comprehensive guide to generative AI projects and resources in Julia.

Collection of papers on state-space models

A network filesystem client to connect to SSH servers

Julia Implementation of Transformer models

Command-line JSON processor

show matplotlib plots directly in your terminal