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☆32Jan 12, 2026Updated 2 months 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 11 months ago
- 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
- Higher Order Prolog with Extensional Semantics☆53Jul 24, 2020Updated 5 years ago
- Hoogle terminal UI brick example app☆105Jan 11, 2026Updated 2 months ago
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆493Updated this week
- Electra is an esolang where you code like an electrician.☆100Nov 22, 2025Updated 4 months 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 6 months ago
- The Twelf Programming Language☆151Mar 7, 2026Updated 2 weeks ago
- Programming with pure lambda calculus☆141Dec 7, 2025Updated 3 months ago
- The wallpapers from my videos☆42Aug 7, 2022Updated 3 years ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆104May 25, 2022Updated 3 years ago
- Find the best Neovim resources on NeoLand 🧙☆77Jan 19, 2026Updated 2 months ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆127Feb 15, 2025Updated last year
- 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
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆173Apr 21, 2024Updated last year
- Easily install luarocks with lazy.nvim☆114Jun 13, 2024Updated last year
- Source generator that automatically transforms fields into BindableProperties that can be used in MAUI☆141Dec 20, 2023Updated 2 years ago
- Pro Components of Blazor. 🏆 Use Ant Design like a Pro!☆164Nov 21, 2025Updated 4 months ago
- A neovim plugin to work with floating windows.☆105Aug 17, 2025Updated 7 months ago
- agda-mode for neovim☆178Jan 22, 2026Updated 2 months ago
- ☆116Aug 18, 2024Updated last year
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆272Feb 8, 2026Updated last month
- The Happy parser generator for Haskell☆317Jan 16, 2026Updated 2 months ago
- A lexical analyser generator for Haskell☆321Feb 4, 2026Updated last month
- Spartan type theory☆273Sep 12, 2025Updated 6 months ago
- a command-line game launcher for the Game Porting Toolkit☆134Jun 22, 2023Updated 2 years ago
- A compact, efficient Prolog interpreter written in plain old C.☆346Updated this week
- UI neovim framework for kitty☆201Jul 14, 2023Updated 2 years ago
- Erlang backend for the PureScript compiler☆353Sep 4, 2025Updated 6 months ago
- Yet Another Build System/Code Runner for Neovim, written in lua☆197Jan 15, 2024Updated 2 years ago
- Neovim plugin for web developers. Browser-sync | http/css lsp | hurl/curl | npm/yarn/npx☆182Mar 14, 2025Updated last year
- Standard library for linear types in Haskell.☆354Feb 27, 2026Updated 3 weeks ago
- ALPHA package dependencies spec☆246Nov 30, 2025Updated 3 months ago