viperproject / gobra-ideView external linksLinks
VSCode Plugin for Gobra
☆11Updated 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.☆148Updated this week
- Bybit API client library for Go (ByBit API connector)☆10Dec 19, 2025Updated last month
- ☆12Oct 18, 2022Updated 3 years ago
- @dave-thompson's QMK community modules☆13Nov 12, 2025Updated 3 months ago
- ☆22Jan 19, 2026Updated 3 weeks ago
- Verifying the SCION architecture using Gobra☆11Jan 25, 2026Updated 2 weeks ago
- Wantedlyのインターン情報や新卒採用についてのインフォメーションです☆11Apr 5, 2022Updated 3 years 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
- An utility to set the custom path for The Sims 4 mods directory.☆11Feb 24, 2021Updated 4 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
- Minimalistic DSL for making minimalistic web apps.☆10Aug 11, 2022Updated 3 years ago
- Yet another parser for the ABC Notation☆11Dec 8, 2025Updated 2 months ago
- ☆11Feb 11, 2025Updated last year
- Tiled samplers for ComfyUI☆12Nov 27, 2024Updated last year
- This is a Keyberon based firmware for the Nibble keyboard paired with different RP2040 boards.☆11Jan 12, 2024Updated 2 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
- A script for transferring morphs between Daz3D Genesis figures☆12May 23, 2019Updated 6 years ago
- 30 key split keyboard☆13May 7, 2024Updated last year
- ☆16Jan 23, 2026Updated 3 weeks ago
- ☆14Dec 14, 2023Updated 2 years ago
- Home Assistant Energy Optimiser☆24Updated this week
- A handy collection of TypeScript plain and generic type definitions and interfaces.☆13Mar 2, 2023Updated 2 years ago
- All of my javascript projects!☆12Feb 3, 2026Updated last week
- 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
- Go言語で学ぶYahoo! ID連携の黒帯ハンズオン☆12May 5, 2020Updated 5 years ago
- A framework for writing expressive, functional-style apps 🌹☆11Jan 18, 2021Updated 5 years ago
- ☆11Dec 12, 2022Updated 3 years ago
- medium inspired theme for hakyll☆11Jul 27, 2021Updated 4 years ago
- Functional configuration management with Typescript☆18Apr 7, 2025Updated 10 months ago
- Tiny performant library for extracting the critical CSS.☆10Apr 4, 2024Updated last year
- A VSCode extension to display relationships between files in a codebase, overlayed on a circle packing diagram of the file structure.☆13Jan 8, 2023Updated 3 years ago
- Create Persona dataset from reddit en movie category comment☆11Aug 6, 2021Updated 4 years ago
- Algorand flutter wallet☆11Mar 24, 2021Updated 4 years ago
- VST3 version of Livecut☆12Jan 1, 2026Updated last month
- An ultra-fast The Sims 4 Python Decompiler, designed for performance and Ease of Use☆14May 19, 2017Updated 8 years ago
- KiCad and Gerber files for this quirky 28 key split keyboard☆11Nov 7, 2021Updated 4 years ago
- Textual application, widget, and testing extensions for building sophisticated user interfaces with Python.☆16Dec 28, 2025Updated last month
- Pre-built packages (source tarballs, Windows Zip/Installer), for Sequencer64 which is superceded by the Seq66 project.☆15Dec 11, 2021Updated 4 years ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated last year