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
- Theme for NetNewsWire☆10Sep 22, 2021Updated 4 years ago
- Library classes for the Twelf Proof System☆22Jun 16, 2020Updated 6 years ago
- Haskell implementation of the Edinburgh Logical Framework☆34Jan 12, 2026Updated 7 months ago
- Package day-care manager on macOS.☆16May 30, 2023Updated 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.
- My take on the iconic Onedark colorscheme☆13May 23, 2023Updated 3 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆26Apr 7, 2025Updated last year
- Raccolta del materiale didattico usato a lezione dal docente del corso di "Programmazione II" @ UniMI☆15Dec 13, 2025Updated 8 months ago
- Arrows for Typst paths and other stories☆46Jul 9, 2026Updated last month
- Source code of Telegram for macos on Swift 4.0☆18Oct 19, 2025Updated 10 months ago
- themes collection of NetNewsWire☆23Jul 9, 2026Updated last month
- Experimental proof assistant (and architecture) for dependent linear logic☆57May 5, 2022Updated 4 years ago
- Higher Order Prolog with Extensional Semantics☆55Jul 24, 2020Updated 6 years ago
- [RFC] A commit convention designed to make commit history more structured, greppable, and context-rich☆26Jul 3, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The Iowa Agda Library☆55Updated this week
- A monad for interfacing with external SAT solvers☆65Jun 17, 2025Updated last year
- A bestiary of lambda calculus☆77Jul 3, 2026Updated last month
- Hoogle terminal UI brick example app☆105Jun 15, 2026Updated 2 months ago
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆498Aug 12, 2026Updated 2 weeks ago
- Languages for Tree-sitter wrapped in Swift packages☆71Feb 14, 2024Updated 2 years ago
- Pomodoro time tracker for NeoVim written entirely in LUA☆63Jun 2, 2024Updated 2 years ago
- The wallpapers from my videos☆42Aug 7, 2022Updated 4 years ago
- Programming with pure lambda calculus☆144Jul 16, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- The Twelf Programming Language☆159Mar 7, 2026Updated 5 months ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆106May 25, 2022Updated 4 years ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆130Feb 15, 2025Updated last year
- Find the best Neovim resources on NeoLand 🧙☆77Jan 19, 2026Updated 7 months ago
- Inline markdown image/gif/video/pdf/LaTeX previewer for nvim using ueberzug.☆79Sep 28, 2023Updated 2 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆174Apr 21, 2024Updated 2 years ago
- A quick and dirty WPM calculator for your UI needs☆83Sep 10, 2023Updated 2 years ago
- Easily install luarocks with lazy.nvim☆122Jun 13, 2024Updated 2 years ago
- 🎨 Hyprland and Niri dotfiles with auto-generated Material colors using Matugen☆151May 28, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A neovim plugin to work with floating windows.☆104Aug 17, 2025Updated last year
- agda-mode for neovim☆186Jul 24, 2026Updated last month
- Table view for data files, csv, tsv☆124Jul 29, 2024Updated 2 years ago
- An implementation of numbered theorem environments in typst☆287Jun 17, 2025Updated last year
- Jupyter notebooks on neovim powered by Jupytext☆136Jul 7, 2024Updated 2 years ago
- ☆122Aug 18, 2024Updated 2 years ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆292Updated this week