Contractual Semver
☆28Apr 16, 2022Updated 4 years ago
Alternatives and similar repositories for contractual-semver
Users that are interested in contractual-semver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A corpus of Python programs annotated with contracts☆26Oct 16, 2025Updated last year
- Minimalistic, functional, JSON-formatted programming language☆20Mar 22, 2017Updated 9 years ago
- Combine contracts and automatic testing.☆92Jun 5, 2022Updated 4 years ago
- Github Action to automatically request dependabot rebases☆12Aug 31, 2026Updated 2 months ago
- simple linting/formatting framework using Nix☆23Mar 5, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Specify contracts for FastAPI endpoints.☆25Jan 28, 2022Updated 4 years ago
- Old issues of the Squeak News e-zine☆11Dec 16, 2019Updated 6 years ago
- Django/Wagtail page serving myhpi.de☆13Mar 31, 2026Updated 7 months ago
- An analysis tool for Python that blurs the line between testing and type systems.☆1,343Updated this week
- A public-calendar aggregator server☆128Feb 5, 2024Updated 2 years ago
- ☆14Nov 1, 2021Updated 5 years ago
- Like Docker, but for Squeak. You know, for kids. MOVED TO: https://git.leastfixedpoint.com/tonyg/squeaker☆14Dec 6, 2025Updated 11 months ago
- Elastic Tabstops Mono for VS Code☆14Dec 10, 2022Updated 3 years ago
- formal tools for BPMN☆39Mar 4, 2026Updated 8 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.
- The official programming language of the Hasso Plattner Institute.☆13Oct 23, 2025Updated last year
- AutoTDD with Travis-CI Support for Squeak (SWT21-04)☆10Aug 5, 2021Updated 5 years ago
- A projectional editor for Squeak/Smalltalk.☆45Nov 19, 2025Updated 11 months ago
- Next-level Koans☆16Oct 15, 2026Updated 3 weeks ago
- Tools to create filesystem images from an fspec filesystem specification.☆17Apr 21, 2024Updated 2 years ago
- A toy interpreter implemented with TypeScript's type system (see type-toc folder).☆18Aug 22, 2024Updated 2 years ago
- Matlab with s-expressions.☆12May 26, 2012Updated 14 years ago
- A simple extension that allows users to control openHAB from a popup within Chrome☆14Oct 29, 2022Updated 4 years ago
- Forth Programmable Breadboard☆11Jun 15, 2023Updated 3 years 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.
- Issues and assets related to the Squeak object memory.☆14Jan 12, 2024Updated 2 years ago
- ☆14Mar 17, 2024Updated 2 years ago
- A mathematical foundation for Smalltalk-25☆21Oct 31, 2026Updated last week
- The prime prompt of VÖBB-Chatbot.☆17Apr 13, 2026Updated 6 months ago
- Emacs: Apply all (!) .dir-locals.el from root to current directory☆11Oct 13, 2021Updated 5 years ago
- Web-API Admin Panel☆12Jan 9, 2024Updated 2 years ago
- Powers https://www.zaynetro.com/ site☆12Apr 11, 2026Updated 6 months ago
- z3-powered solver (theorem prover) for deal☆20Sep 28, 2023Updated 3 years ago
- Raku Syntax Highlighting for Nano☆11Oct 20, 2026Updated 2 weeks ago
- 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.
- A repository around how we can have a build provenance document you *might* trust☆15Updated this week
- A spatial Linux desktop for persistent, local-first computing.☆12Updated this week
- company-mode completion backend for Elixir.☆13Sep 13, 2020Updated 6 years ago
- Show completions buffer in child frame☆13Sep 13, 2022Updated 4 years ago
- TelegramClient is a Squeak-Client for the widely used Telegram-Messenger. It aims to provide features such as Authentication, Contacts, M…☆16Aug 13, 2024Updated 2 years ago
- Demos and examples of use for the pathfinding library Jumper with various Lua frameworks and game engines☆11Sep 20, 2013Updated 13 years ago
- A library for parsing and validating webauthn/fido2 credentials☆39Oct 5, 2026Updated last month