AnirudhG07
Follow
Stars
A new markup-based typesetting system that is powerful and easy to learn.
🌐 The Internet OS! Free, Open-Source, and Self-Hostable.
SaveMyAss(ignments) from Accidental Plagiarism!
Code for the course "Proofs and Programs", January 2025, IISc
A cross-platform, fast and extensible general purpose fuzzy finder 📺
A yabai, AeroSpace or FlashSpace status bar widget for Übersicht
Dataset containing Easy mathematical statements and their proofs
Fabric is an open-source framework for augmenting humans using AI. It provides a modular system for solving specific problems using a crowdsourced set of AI prompts that can be used anywhere.
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Evaluating the Effectiveness of Code-generation Models on Hinglish Prompts
Easily run Python at the shell! Magical, but never mysterious.
Resources, codes and material for Databased's Missing Semester Sessions
Bept - Beginner friendly Electrostatics for Protein analysis Tool, made by IISc-Software Team 2024
Yazi plugins repository created for containing plugins and flavours i make
An extremely fast Python package and project manager, written in Rust.
These are my personally set config files for my computer!
AeroSpace is an i3-like tiling window manager for macOS
A yazi plugin that adds the functionality to save and load projects.
The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
Rich is a Python library for rich text and beautiful formatting in the terminal.
A Python library of interactive CLI elements you have been looking for
Simple terminal command line notification tool on completion of your commands and processes.
View your Jupyter notebooks beautifully in the preview