VSCode Plugin for Gobra
☆11Feb 28, 2026Updated this week
Alternatives and similar repositories for gobra-ide
Users that are interested in gobra-ide are comparing it to the libraries listed below
Sorting:
- Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.☆147Updated this week
- Bybit API client library for Go (ByBit API connector)☆10Dec 19, 2025Updated 2 months ago
- ☆12Oct 18, 2022Updated 3 years ago
- @dave-thompson's QMK community modules☆13Feb 18, 2026Updated 2 weeks ago
- Verifying the SCION architecture using Gobra☆11Feb 9, 2026Updated 3 weeks ago
- Wantedlyのインターン情報や新卒採用についてのインフォメーションです☆11Apr 5, 2022Updated 3 years ago
- ☆24Jan 19, 2026Updated last month
- This is the main repository for the Viper IDE extension for VS Code.☆13Updated this week
- Tiled samplers for ComfyUI☆12Nov 27, 2024Updated last year
- Easy Pony is a helper node that simplifies the process of adding scoring and other attributes to the core when prompting with Pony models…☆12Apr 5, 2025Updated 11 months ago
- A script for transferring morphs between Daz3D Genesis figures☆12May 23, 2019Updated 6 years ago
- A simple and standalone app for managing (installing, updating, removing) different WolvenKit versions similar to the Visual Studio Insta…☆10Jun 23, 2024Updated last year
- An utility to set the custom path for The Sims 4 mods directory.☆11Feb 24, 2021Updated 5 years ago
- eventlog is a library for creating structured events from applications, and is the workhorse behind syslog-ng's own messages.☆12Nov 22, 2015Updated 10 years ago
- ☆11Feb 11, 2025Updated last year
- 30 key split keyboard☆13May 7, 2024Updated last year
- This is a Keyberon based firmware for the Nibble keyboard paired with different RP2040 boards.☆11Jan 12, 2024Updated 2 years ago
- Yet another parser for the ABC Notation☆11Dec 8, 2025Updated 2 months ago
- Type-safe OData v4.01 query builder for TypeScript. Features fluent FilterBuilder API, lambda expressions (any/all), in/not/has operators…☆14Updated this week
- ☆16Jan 23, 2026Updated last month
- Minimalistic DSL for making minimalistic web apps.☆10Aug 11, 2022Updated 3 years ago
- A framework for writing expressive, functional-style apps 🌹☆11Jan 18, 2021Updated 5 years ago
- Algorand flutter wallet☆11Mar 24, 2021Updated 4 years ago
- A VSCode extension to display relationships between files in a codebase, overlaid on a circle packing diagram of the file structure.☆14Jan 8, 2023Updated 3 years ago
- A command-line and GUI tool for Baldur's Gate 3 to generate custom inventory bags, modify treasure tables and search for items without ex…☆14Sep 29, 2023Updated 2 years ago
- A handy collection of TypeScript plain and generic type definitions and interfaces.☆13Mar 2, 2023Updated 3 years ago
- All of my javascript projects!☆12Feb 3, 2026Updated last month
- medium inspired theme for hakyll☆10Jul 27, 2021Updated 4 years ago
- ☆11Dec 12, 2022Updated 3 years ago
- VST3 version of Livecut☆12Jan 1, 2026Updated 2 months ago
- ☆14Dec 14, 2023Updated 2 years ago
- Tiny performant library for extracting the critical CSS.☆10Apr 4, 2024Updated last year
- Functional configuration management with Typescript☆18Apr 7, 2025Updated 10 months ago
- An ultra-fast The Sims 4 Python Decompiler, designed for performance and Ease of Use☆14May 19, 2017Updated 8 years ago
- Go言語で学ぶYahoo! ID連携の黒帯ハンズオン☆12May 5, 2020Updated 5 years ago
- Create Persona dataset from reddit en movie category comment☆11Aug 6, 2021Updated 4 years ago
- MCP-powered Home Assistant conversation agent that solves entity context limitations through dynamic discovery instead of full entity dum…☆44Feb 1, 2026Updated last month
- Home Assistant Energy Optimiser☆31Updated this week
- Typed Structures is meant to bring a full set of data structures to the awesome TypeScript 🎉☆11Mar 29, 2019Updated 6 years ago