-
awesome-yazi Public
A collection of Yazi's Plugins, flavours and more resources.
-
-
custom-shell.yazi Public
Set your custom-shell as default shell in yazi!
-
proofs_with_verbose_lean Public
Forked from siddhartha-gadgil/proofs_with_verbose_leanAn introduction to proofs with Lean using controled natural language
Lean UpdatedJan 19, 2026 -
dotfiles Public
These are my personally set config files for my computer!
-
LeanAide Public
Forked from siddhartha-gadgil/LeanAideTools based on AI for helping with Lean 4
Lean Apache License 2.0 UpdatedJan 6, 2026 -
rich-preview.yazi Public
Preview file types using rich in Yazi
-
LeanAide_Benchmark Public
Benchmarking and Evaluating LeanAide on Datasets
Python UpdatedJan 1, 2026 -
LeanAide-lean4web Public
Forked from siddhartha-gadgil/lean4webThe Lean 4 web editor
TypeScript Apache License 2.0 UpdatedDec 26, 2025 -
highlightjs-lean Public
Forked from leanprover-community/highlightjs-leanA highlight.js language grammar for the Lean theorem proving language.
JavaScript BSD 3-Clause "New" or "Revised" License UpdatedDec 22, 2025 -
LeanHuffmanCoding Public
Lean for Huffmann Coding Algorithms, as a course Project for Proof and Programs 25.
-
tldr Public
Forked from tldr-pages/tldr📚 Collaborative cheatsheets for console commands
Markdown Other UpdatedNov 28, 2025 -
cmd_sandbox-rs Public
Command Sandboxing Curl in Rust using eBPF
-
nbpreview.yazi Public
View your Jupyter notebooks beautifully in the preview
-
Song-Popularity-Prediction Public
UMC301 Kaggle Competition 1 Repository for Song Popularity Prediction
Jupyter Notebook MIT License UpdatedOct 3, 2025 -
-
deemak Public
Forked from databasedIISc/deemakDatabased Rust Project: Deemak
Rust MIT License UpdatedAug 26, 2025 -
cheatshh Public
Cheatshh is a CLI tool to store commands and their descriptions in a place you can look into as cheatshheat so you dont have to remember them.
-
qgss-2025 Public
Forked from qiskit-community/qgss-2025Qiskit Global Summer School: The Past, Present and Future of Quantum Computing
Jupyter Notebook Apache License 2.0 UpdatedJul 18, 2025 -
no-sudo-unix Public
Working with Unix Terminal, without sudo!
-
Typeinc Public
Typeinc is a cool ncurses based Typing Speed Test tool where you can enjoy typing experience in Terminal with different difficulty levels.
-
plugins-yazi Public
Yazi plugins repository created for containing plugins and flavours i make
-
archivemount.yazi Public
Mounting and unmounting archives in yazi
-
AutoTA Public
AutoTA: Automating checking and grading mathematical answers using LLM's
Python MIT License UpdatedJun 5, 2025 -
NeRF-UMC203 Public
NeRF - Neural Radiance Field, for UMC203 AIML Course Project
Jupyter Notebook MIT License UpdatedMay 21, 2025 -
awesome Public
Forked from sindresorhus/awesome😎 Awesome lists about all kinds of interesting topics
Creative Commons Zero v1.0 Universal UpdatedMay 15, 2025 -
proofs-and-programs-25 Public template
Forked from proofs-and-programs/proofs-and-programs-25Code for the course "Proofs and Programs", January 2025, IISc
Lean Apache License 2.0 UpdatedApr 17, 2025 -
databasediisc.github.io Public
Forked from databasedIISc/databasediisc.github.ioHTML UpdatedMar 16, 2025 -
SaveMyAss Public
Forked from mrigankpawagi/SaveMyAssSaveMyAss(ignments) from Accidental Plagiarism!
Python UpdatedJan 19, 2025 -
jwt.yazi Public
Forked from smangels/jwt.yaziYazi plugin for JWT files.
Lua MIT License UpdatedJan 16, 2025
{{ message }}