-
qsort Public
Attempting a monadic correctness proof of Lean's quicksort implementation
-
sway Public
My Sway config (forked from https://forums.raspberrypi.com/viewtopic.php?t=334118)
Python UpdatedApr 1, 2026 -
-
-
lean4lean Public
Forked from digama0/lean4leanLean 4 kernel / 'external checker' written in Lean 4
-
basicpage.github.io Public template
Forked from basicpage/basicpage.github.ioTemplate for a basic academic page
CSS MIT License UpdatedJul 31, 2025 -
mpl Public
Forked from sgraf812/mplA prototype for a monadic program logic in Lean
Lean Apache License 2.0 UpdatedJun 30, 2025 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedApr 25, 2025 -
europroofnet.github.io Public
Forked from EuroProofNet/europroofnet.github.ioSources of the EuroProofNet web site.
Ruby UpdatedMar 2, 2025 -
lean4checker Public
Forked from leanprover/lean4checkerReplay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
Lean Apache License 2.0 UpdatedFeb 19, 2025 -
batteries Public
Forked from leanprover-community/batteriesThe "batteries included" extended library for the Lean programming language and theorem prover
Lean Apache License 2.0 UpdatedFeb 17, 2025 -
qmk_firmware_dm_r_track Public
Forked from Schievel1/qmk_firmware_dm_r_trackCustom fork of QMK for the dm_r_track on Arduino Micro
C GNU General Public License v2.0 UpdatedAug 21, 2024 -
clipboard-sync Public
Forked from dnut/clipboard-syncSynchronizes the clipboard across multiple X11 and wayland instances running on the same machine.
Rust UpdatedAug 7, 2024 -
bmessages.nvim Public
Forked from ariel-frischer/bmessages.nvimBmessages.nvim better :messages using an auto-updating buffer.
Lua MIT License UpdatedJun 25, 2024 -
nvim-recorder Public
Forked from chrisgrieser/nvim-recorderEnhance the usage of macros in Neovim.
Lua MIT License UpdatedMay 27, 2024 -
-
telescope-repo.nvim Public
Forked from cljoly/telescope-repo.nvim🦘 Jump into the repositories (git, mercurial…) of your filesystem with telescope.nvim, without any setup
Lua MIT License UpdatedMar 26, 2024 -
karen-yank.nvim Public
Forked from tenxsoydev/karen-yank.nvimNeovim Lua plugin to improve register handling with delete, cut and yank mappings.
Lua MIT License UpdatedMar 5, 2024 -
RemarkableLamyEraser Public
Forked from slotThe/RemarkableLamyEraserTurns the button on the Lamy Pen EMR into an eraser on the reMarkable – updated for 3.6.x.
-
debugprint.nvim Public
Forked from andrewferrier/debugprint.nvimDebugging in NeoVim the print() way!
Lua MIT License UpdatedFeb 19, 2024 -
bufferline.nvim Public
Forked from akinsho/bufferline.nvimA snazzy bufferline for Neovim
Lua GNU General Public License v3.0 UpdatedFeb 12, 2024 -
leap.nvim Public
Forked from ggandor/leap.nvimNeovim's answer to the mouse 🦘
Fennel MIT License UpdatedJan 22, 2024 -
remarkable-stylus Public
Forked from ddvk/remarkable-stylushack to get the button of a lamy pen working
-
cmp-buffer Public
Forked from hrsh7th/cmp-buffernvim-cmp source for buffer words
Lua MIT License UpdatedNov 18, 2023 -
nvim-cmp Public
Forked from hrsh7th/nvim-cmpA completion plugin for neovim coded in Lua.
Lua MIT License UpdatedOct 14, 2023 -
-
crouton Public
Forked from dnschneid/croutonChromium OS Universal Chroot Environment
Shell BSD 3-Clause "New" or "Revised" License UpdatedMay 18, 2023 -
telescope.nvim Public
Forked from nvim-telescope/telescope.nvimFind, Filter, Preview, Pick. All lua, all the time.
Lua MIT License UpdatedMay 10, 2023 -
resession.nvim Public
Forked from stevearc/resession.nvimA replacement for mksession with a better API
Lua MIT License UpdatedMay 2, 2023 -
hop.nvim Public
Forked from hadronized/hop.nvimNeovim motions on speed!
Lua Other UpdatedApr 28, 2023
{{ message }}