Progetto che ho coordinato di appunti condivisi del corso di Ingegneria del Software
☆21Feb 26, 2025Updated last year
Alternatives and similar repositories for sweng
Users that are interested in sweng are comparing it to the libraries listed below
Sorting:
- Package day-care manager on macOS.☆16May 30, 2023Updated 2 years ago
- My take on the iconic Onedark colorscheme☆13May 23, 2023Updated 2 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Apr 7, 2025Updated 10 months ago
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated last month
- Arrows for Typst paths and other stories☆40Jan 19, 2026Updated last month
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆48Feb 10, 2025Updated last year
- Experimental proof assistant (and architecture) for dependent linear logic☆51May 5, 2022Updated 3 years ago
- The Iowa Agda Library☆53Nov 11, 2025Updated 3 months ago
- Languages for Tree-sitter wrapped in Swift packages☆68Feb 14, 2024Updated 2 years ago
- The wallpapers from my videos☆42Aug 7, 2022Updated 3 years ago
- Higher Order Prolog with Extensional Semantics☆53Jul 24, 2020Updated 5 years ago
- Pomodoro time tracker for NeoVim written entirely in LUA☆62Jun 2, 2024Updated last year
- Vitesse theme for neovim in Lua using colorbuddy☆65Aug 17, 2024Updated last year
- Effortlessly create quantum circuit diagrams in Typst.☆100Jan 25, 2026Updated last month
- Hoogle terminal UI brick example app☆105Jan 11, 2026Updated last month
- Inline markdown image/gif/video/pdf/LaTeX previewer for nvim using ueberzug.☆80Sep 28, 2023Updated 2 years ago
- A quick and dirty WPM calculator for your UI needs☆83Sep 10, 2023Updated 2 years ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆104May 25, 2022Updated 3 years ago
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆488Feb 23, 2026Updated last week
- A neovim plugin to work with floating windows.☆105Aug 17, 2025Updated 6 months ago
- Table view for data files, csv, tsv☆121Jul 29, 2024Updated last year
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆127Feb 15, 2025Updated last year
- The Twelf Programming Language☆151Jan 20, 2026Updated last month
- Jupyter notebooks on neovim powered by Jupytext☆131Jul 7, 2024Updated last year
- Source generator that automatically transforms fields into BindableProperties that can be used in MAUI☆141Dec 20, 2023Updated 2 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆173Apr 21, 2024Updated last year
- Code challenges to solve with Haskell☆185Sep 26, 2025Updated 5 months ago
- agda-mode for neovim☆178Jan 22, 2026Updated last month
- Yet Another Build System/Code Runner for Neovim, written in lua☆197Jan 15, 2024Updated 2 years ago
- Effortlessly take control of your day with Hour Blocks: Day Planner for iOS and macOS☆182Apr 19, 2021Updated 4 years ago
- Neovim plugin for web developers. Browser-sync | http/css lsp | hurl/curl | npm/yarn/npx☆181Mar 14, 2025Updated 11 months ago
- UI neovim framework for kitty☆201Jul 14, 2023Updated 2 years ago
- ALPHA package dependencies spec☆246Nov 30, 2025Updated 3 months ago
- ⌨️ Add tools above your keyboard with iOS-like keyboard buttons.☆268Sep 2, 2025Updated 6 months ago
- Neovim plugin for sqls that leverages the built-in LSP client☆245Sep 2, 2025Updated 6 months ago
- Vim syntax highlighting for Kitty terminal config files☆260Jan 5, 2026Updated last month
- Tiny plugin to quickly switch python virtual environments from within neovim without restarting.☆246Feb 9, 2025Updated last year
- An implementation of numbered theorem environments in typst☆274Jun 17, 2025Updated 8 months ago
- Spartan type theory☆273Sep 12, 2025Updated 5 months ago