Treeniks / isabelle-lsp.nvimView external linksLinks
☆16Dec 2, 2025Updated 2 months ago
Alternatives and similar repositories for isabelle-lsp.nvim
Users that are interested in isabelle-lsp.nvim are comparing it to the libraries listed below
Sorting:
- Clone of isabelle, with LSP extensions in seperate branches☆28Jan 8, 2026Updated last month
- ☆20Jan 3, 2026Updated last month
- This cheat sheet summarizes commonly used sfdx command line instructions for quick reference.☆12Jul 5, 2019Updated 6 years ago
- My Notes☆11Jan 4, 2024Updated 2 years ago
- A simple CLI pomodoro timer written in Rust.☆14Nov 17, 2023Updated 2 years ago
- cmus status notification tool written in Rust, which can be easily configured and used for different purposes. It provides notifications …☆13Feb 3, 2026Updated last week
- ☆13Jan 7, 2026Updated last month
- Spotify and Last.fm tool that shows how internationally diverse your music taste is☆13Mar 14, 2024Updated last year
- Machine Learning Reading Group☆11Sep 15, 2023Updated 2 years ago
- Simple secrets management for NixOS.☆13Dec 3, 2025Updated 2 months ago
- Platform-agnostic alternative to TT Dynamic Range Meter for measuring dynamic range of music.☆19Jun 3, 2018Updated 7 years ago
- A random assortment of wallpapers that I love☆13Oct 4, 2023Updated 2 years ago
- Matrix builds for cabal☆16Dec 1, 2025Updated 2 months ago
- ot-coq☆17Sep 5, 2023Updated 2 years ago
- compile llvm to brainfuck☆11Feb 10, 2024Updated 2 years ago
- A haskell implementation of Fortune's Algorithm.☆13Nov 15, 2016Updated 9 years ago
- React app with a full-screen interactive map and a simple button to upload geospatial data files in shapefile format.☆13Oct 7, 2021Updated 4 years ago
- Script to find latest *nix torrents and load them into deluge☆11May 31, 2021Updated 4 years ago
- a collection of .config files which work for certain machines☆11Updated this week
- Trie data structure implementation in TypeScript. Highly performant. No dependencies. Built for a Scrabble Solver.☆11Jan 26, 2025Updated last year
- My new dotfiles for SwayWM on Arch Linux☆12Mar 16, 2021Updated 4 years ago
- panosse is a CLI tool to clean, encode, normalize, and verify your FLAC music library.☆11Jun 17, 2024Updated last year
- Perf monitoring CLI tool for Apple Silicon☆11Jan 25, 2023Updated 3 years ago
- Coq plugin for extracting Rust code☆18Dec 15, 2025Updated last month
- JQBX within Spotify☆10Jul 2, 2021Updated 4 years ago
- A collection of wallpaper generators☆14Sep 16, 2018Updated 7 years ago
- Analytical component of voice.hydev.org☆14Oct 1, 2022Updated 3 years ago
- TUI monitor handler for Hyprland [maintainer=@Degra02]☆12Apr 10, 2024Updated last year
- Rust implementation of the book "Ray Tracing in One Weekend" by Peter Shirley☆14Jul 21, 2020Updated 5 years ago
- Specification for the ssb protocol☆14Aug 14, 2021Updated 4 years ago
- A easy to use way to map any ugly backend structures into clean TypeScript/ES6 models☆10Jan 31, 2019Updated 7 years ago
- A comprehensive list of auxiliary files used by LaTeX☆16Nov 16, 2015Updated 10 years ago
- A4 millimeter graph paper PDF and A4 grid paper PDF☆14Feb 11, 2021Updated 5 years ago
- A virtual memory scanner☆10Jan 2, 2024Updated 2 years ago
- An easy way to open custom modals in a cyclejs app☆12Dec 4, 2018Updated 7 years ago
- Material Multi-Level Menu for AngularJS☆11May 13, 2020Updated 5 years ago
- Convert toml files to nix☆15Jul 15, 2025Updated 6 months ago
- A Discord bot that automatically generates messages based on the previously seen ones☆11Jun 7, 2024Updated last year
- Art-Net 4 protocol implementation in Java☆16Jul 3, 2020Updated 5 years ago