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:
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Oct 9, 2025Updated 7 months ago
- Interesting papers☆11Jun 22, 2024Updated last year
- A corpus of Python programs annotated with contracts☆25Oct 16, 2025Updated 7 months ago
- An analysis tool for Python that blurs the line between testing and type systems.☆1,288May 22, 2026Updated last week
- simple linting/formatting framework using Nix☆22Mar 5, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆14Apr 2, 2026Updated last month
- Utility functions to support analytics over FHIR in BigQuery or Apache Spark☆15Jan 8, 2024Updated 2 years ago
- Elastic Tabstops Mono for VS Code☆13Dec 10, 2022Updated 3 years ago
- z3-powered solver (theorem prover) for deal☆16Sep 28, 2023Updated 2 years ago
- Erlang-style Actors for Squeak. http://tonyg.github.io/squeak-actors/☆14Aug 28, 2025Updated 9 months ago
- The official programming language of the Hasso Plattner Institute.☆13Oct 23, 2025Updated 7 months ago
- An implementation of the Babylonian Programming Editor for Squeak/Smalltalk☆14Jul 22, 2024Updated last year
- A webserver for on the fly delivery of Nix flake artifacts☆47Dec 11, 2025Updated 5 months ago
- Powers https://www.zaynetro.com/ site☆12Apr 11, 2026Updated last month
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A projectional editor for Squeak/Smalltalk.☆45Nov 19, 2025Updated 6 months ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Apr 21, 2024Updated 2 years ago
- Collection of Ivy-based utils for term-mode☆13Sep 20, 2019Updated 6 years ago
- Emacs: Apply all (!) .dir-locals.el from root to current directory☆11Oct 13, 2021Updated 4 years ago
- ☆10Aug 7, 2024Updated last year
- Looks up command line syntax from cheatsheets using fuzzy search☆16Updated this week
- Experiments on Causality & Reinforcement Learning☆10Mar 8, 2020Updated 6 years ago
- A trading strategy for prediction markets mediated by the logarithmic market scoring rule (LMSR) market maker☆12Apr 7, 2018Updated 8 years ago
- ☆14Mar 17, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A minimalistic code editor, inspired by Monaco/VSCode, based on Ace & written in Arturo☆12Jan 9, 2026Updated 4 months ago
- Tax efficient ETF portfolio balancing☆11Sep 1, 2022Updated 3 years ago
- The prime prompt of VÖBB-Chatbot.☆18Apr 13, 2026Updated last month
- HTML5 version of the Age of Empires II technology tree.☆14Sep 3, 2020Updated 5 years ago
- Indicate anchors in a web page☆11Feb 5, 2026Updated 3 months ago
- ☆11Apr 5, 2023Updated 3 years ago
- company-mode completion backend for Elixir.☆13Sep 13, 2020Updated 5 years ago
- ☆17Nov 4, 2024Updated last year
- ☆15Mar 10, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- egraphs-good website☆18Mar 10, 2026Updated 2 months ago
- Little developer/power tools.☆18Apr 25, 2024Updated 2 years ago
- Show completions buffer in child frame☆13Sep 13, 2022Updated 3 years ago
- The goal is to compile a reasonably complete list of all implementations of the Smalltalk system☆30Feb 9, 2026Updated 3 months ago
- A GNOME extension for a more efficient keyboard driven navigation.☆17Sep 22, 2025Updated 8 months ago
- Python object inspector for Emacs☆13Feb 16, 2023Updated 3 years ago
- ☆18Mar 22, 2026Updated 2 months ago