A Python-based low-modeling low-code open-source platform for smart and AI-enhanced software
☆168Apr 28, 2026Updated last week
Alternatives and similar repositories for BESSER
Users that are interested in BESSER are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lightweight views for your models☆16Dec 12, 2023Updated 2 years ago
- Astro.build + Actix combo + Tools: A 🦀 Rust orientated monolithic template for building modern web applications.☆17Apr 21, 2026Updated last week
- ☆30Nov 18, 2025Updated 5 months ago
- Examples for Mountebank usage explained in the blog☆10Nov 15, 2017Updated 8 years ago
- Toolkit supporting the AsyncAPI specification, including a grammar, metamodel, and code generation tools☆37Apr 25, 2024Updated 2 years 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.
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- An Xtext DSL for EMF metamodels refactoring and migration☆13Apr 14, 2026Updated 2 weeks ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Mar 11, 2022Updated 4 years ago
- An OpenAPI round-trip tool that leverages model-driven techniques to create, visualize, manage, and generate OpenAPI definitions.☆72Dec 16, 2021Updated 4 years ago
- A replication of MBIE's minimum wage model☆12Dec 7, 2021Updated 4 years ago
- OWL 2 SHACL conversion rule☆18Mar 18, 2024Updated 2 years ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36Apr 1, 2026Updated last month
- Manage multiple user authentication databases from a central web application☆17Aug 10, 2016Updated 9 years ago
- An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.☆16Feb 15, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Automatic theorem proving via natural language reasoning with LLMs☆22May 16, 2025Updated 11 months ago
- OpenRiskNet wiki and core resources☆16Jan 13, 2020Updated 6 years ago
- ☆13Sep 30, 2020Updated 5 years ago
- Yeoman generator for gradle plugin☆12Apr 7, 2026Updated 3 weeks ago
- Errai demo for gwt and usecase☆12Feb 7, 2017Updated 9 years ago
- Heterogeneous model indexing solution, based on NoSQL stores.☆17Oct 27, 2019Updated 6 years ago
- JUDO Community Aggragator Repository☆22Sep 22, 2023Updated 2 years ago
- Minimalist Xargs for Windows☆10Dec 5, 2017Updated 8 years ago
- Experiment about a semantic-based diff tool for Java language.☆12Mar 28, 2015Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.☆77Apr 26, 2026Updated last week
- A packaged framework for implementing web and API test suites. Builds on Concordion to bring your software delivery team together around …☆14Jul 11, 2021Updated 4 years ago
- Software para el manejo de estudios jurídicos y oficinas judiciales☆26Apr 13, 2026Updated 3 weeks ago
- Tutorial projects for MonacoFX☆11Aug 17, 2022Updated 3 years ago
- djproxy is a class-based generic view reverse HTTP proxy for Django.☆42Dec 8, 2022Updated 3 years ago
- pre-built templates for docker-compose, svelte-kit, golang, pocketbase, rust, python, metabase, drupal, postgres, msql, nginx projects☆16Apr 24, 2023Updated 3 years ago
- A GraphQL workshop for DjangoCon EU 2019☆13Feb 25, 2020Updated 6 years ago
- A Machine-to-Machine Interaction System for Lean 4.☆140Apr 26, 2026Updated last week
- Robot Framework high level keywords for automated testing Smallworld Magik images☆14Jan 14, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Simple and ready to go Django Template.☆21Dec 9, 2024Updated last year
- Sirius Desktop: desktop-based graphical modelers for dedicated DSLs☆30Apr 15, 2026Updated 2 weeks ago
- ☆23Apr 15, 2013Updated 13 years ago
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆30Sep 3, 2024Updated last year
- Connect Django apps to AI assistants with Model Context Protocol. Simple decorators expose models, admin functions, and custom tools to …☆16Mar 22, 2025Updated last year
- A plugin for IntelliJ Platform to interact with Leanpub☆12Apr 14, 2016Updated 10 years ago
- SysML v2 Batmobile example from the book "Don't Panic - The Absolute Beginners Guide to SysML v2" from Tim Weilkiens and Christian Muggeo☆25Mar 4, 2026Updated 2 months ago