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
- Haskell implementation of the Edinburgh Logical Framework☆33Jan 12, 2026Updated 5 months ago
- 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
- A bestiary of lambda calculus☆77Jul 3, 2026Updated last week
- 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.
- Experimental proof assistant (and architecture) for dependent linear logic☆52May 5, 2022Updated 4 years ago
- Higher Order Prolog with Extensional Semantics☆54Jul 24, 2020Updated 5 years ago
- The Iowa Agda Library☆55Apr 16, 2026Updated 2 months ago
- Mini System Info Widgets for Übersicht☆34Sep 4, 2019Updated 6 years ago
- Hoogle terminal UI brick example app☆105Jun 15, 2026Updated 3 weeks ago
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆494Updated this week
- Languages for Tree-sitter wrapped in Swift packages☆70Feb 14, 2024Updated 2 years ago
- Pomodoro time tracker for NeoVim written entirely in LUA☆63Jun 2, 2024Updated 2 years ago
- Programming with pure lambda calculus☆143Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The wallpapers from my videos☆42Aug 7, 2022Updated 3 years ago
- The Twelf Programming Language☆157Mar 7, 2026Updated 4 months ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆105May 25, 2022Updated 4 years ago
- Find the best Neovim resources on NeoLand 🧙☆77Jan 19, 2026Updated 5 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.☆79Sep 28, 2023Updated 2 years ago
- A quick and dirty WPM calculator for your UI needs☆83Sep 10, 2023Updated 2 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆174Apr 21, 2024Updated 2 years ago
- Easily install luarocks with lazy.nvim☆121Jun 13, 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.
- A neovim plugin to work with floating windows.☆104Aug 17, 2025Updated 10 months ago
- agda-mode for neovim☆184Jul 2, 2026Updated last week
- Code challenges to solve with Haskell☆205Jun 13, 2026Updated 3 weeks ago
- Table view for data files, csv, tsv☆124Jul 29, 2024Updated last year
- Jupyter notebooks on neovim powered by Jupytext☆135Jul 7, 2024Updated 2 years ago
- A collection of Bash scripts for creating bootable Arch Linux images and USB drives with desktop environments.☆266Updated this week
- ☆118Aug 18, 2024Updated last year
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆285Updated this week
- The Happy parser generator for Haskell☆321Apr 13, 2026Updated 2 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.
- A lexical analyser generator for Haskell☆323Apr 15, 2026Updated 2 months ago
- Spartan type theory☆275Sep 12, 2025Updated 9 months ago
- A compact, efficient Prolog interpreter written in plain old C.☆378Updated this week
- Prolog interpreter in and for Erlang☆385Feb 25, 2024Updated 2 years ago
- UI neovim framework for kitty☆200Jul 14, 2023Updated 2 years ago
- Erlang backend for the PureScript compiler☆361Sep 4, 2025Updated 10 months ago
- Yet Another Build System/Code Runner for Neovim, written in lua☆196Jan 15, 2024Updated 2 years ago