RealAnalysisGame

From Zero to QED: An informal introduction to formality with Lean 4

Coordinate Axes for JAX

Shed Skin is a restricted-Python-to-C++ compiler. Read the introduction below to learn about the restrictions.

User-oriented fork of LLVM's opt-viewer

A native elisp coding agent running in Emacs

Generate all the things (focusing on research software)

COLMAP - Structure-from-Motion and Multi-View Stereo

Pixel-Perfect Structure-from-Motion with Featuremetric Refinement (ICCV 2021, Best Student Paper Award)

A Jupyter widget using sigma.js to render interactive networks.

Hide drawers in org-mode with overlays

aider is AI pair programming in your terminal

Software Quality Management Tool

Complete the link type, path and description part of links at point in org-mode buffer.

Jupyter Widgets for interactive graphs powered by the Eclipse Layout Kernel (ELK)

Claude Code Emacs integration

Crowdsourced collection of tools for LLMs in Emacs

Distributed graph computation library

An API for caching and execution of actions on a remote system.

ipywidgets library for drawing directed acyclic graphs in jupyterlab using dagre-d3

An elegant Python interface for visualization on the web platform to interactively generate insights into multidimensional images, point sets, and geometry.

A simple vterm-based mode for an inferior (i)Python REPL process in Emacs

pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server

SPy language

Chat with Github copilot in Emacs !

Emacs Lisp Static Analyzer and gradual type system.

structured outputs for llms

Automatically apply AI-generated code changes in Emacs