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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TPTP linear logic version☆15Jan 27, 2025Updated last year
- Arrows for Typst paths and other stories☆42Jan 19, 2026Updated 3 months ago
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated 3 months ago
- 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Apr 7, 2025Updated last year
- themes collection of NetNewsWire☆19Nov 15, 2024Updated last year
- [RFC] A commit convention designed to make commit history more structured, greppable, and context-rich☆26Jul 3, 2025Updated 10 months ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆77Apr 19, 2026Updated 2 weeks ago
- Experimental proof assistant (and architecture) for dependent linear logic☆52May 5, 2022Updated 3 years ago
- Eisenhower matrix web app☆29Oct 14, 2025Updated 6 months ago
- The Iowa Agda Library☆53Apr 16, 2026Updated 2 weeks ago
- Higher Order Prolog with Extensional Semantics☆53Jul 24, 2020Updated 5 years ago
- Kitty-sesh is an Kitty Terminal Session Manager, Go-based application that provides a graphical user interface (GUI) to manage and intera…☆35Apr 23, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Effortlessly create quantum circuit diagrams in Typst.☆104Jan 25, 2026Updated 3 months ago
- Mini System Info Widgets for Übersicht☆34Sep 4, 2019Updated 6 years ago
- Hoogle terminal UI brick example app☆105Apr 18, 2026Updated 2 weeks ago
- Languages for Tree-sitter wrapped in Swift packages☆69Feb 14, 2024Updated 2 years ago
- Pomodoro time tracker for NeoVim written entirely in LUA☆62Jun 2, 2024Updated last year
- A Kubernetes controller that modifies the CPU and/or memory resources of containers based on whether they're starting up, according to th…☆83Aug 29, 2025Updated 8 months ago
- The wallpapers from my videos☆42Aug 7, 2022Updated 3 years ago
- The Twelf Programming Language☆154Mar 7, 2026Updated last month
- A slow-paced introduction to reflection in Agda. ---Tactics!☆104May 25, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Find the best Neovim resources on NeoLand 🧙☆77Jan 19, 2026Updated 3 months ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆130Feb 15, 2025Updated last year
- Inline markdown image/gif/video/pdf/LaTeX previewer for nvim using ueberzug.☆80Sep 28, 2023Updated 2 years ago
- The menu bar app and package for Jellyfin Server on macOS.☆71Oct 27, 2025Updated 6 months ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆173Apr 21, 2024Updated 2 years ago
- Easily install luarocks with lazy.nvim☆117Jun 13, 2024Updated last year
- A neovim plugin to work with floating windows.☆105Aug 17, 2025Updated 8 months ago
- agda-mode for neovim☆180Jan 22, 2026Updated 3 months ago
- A Typst package for even better code blocks☆316Aug 5, 2025Updated 8 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- LSP implementation for Tree-sitter's query files☆147Mar 14, 2026Updated last month
- Code challenges to solve with Haskell☆195Sep 26, 2025Updated 7 months ago
- Table view for data files, csv, tsv☆124Jul 29, 2024Updated last year
- An implementation of numbered theorem environments in typst☆280Jun 17, 2025Updated 10 months ago
- Jupyter notebooks on neovim powered by Jupytext☆131Jul 7, 2024Updated last year
- A collection of Bash scripts for creating bootable Arch Linux images and USB drives with desktop environments.☆267Mar 29, 2026Updated last month
- ☆116Aug 18, 2024Updated last year