An IDE for Symboleo, a formal contract specification language.
☆18Oct 10, 2024Updated last year
Alternatives and similar repositories for Symboleo-IDE
Users that are interested in Symboleo-IDE are comparing it to the libraries listed below
Sorting:
- Core runtime engine of the Xatkit low-code bot platform. Easily create complex chatbots. Written in Java☆42Oct 3, 2024Updated last year
- The Gizra Way Definitive Guide☆10Dec 2, 2019Updated 6 years ago
- Connectivity with persistent store implementations☆11Jan 5, 2026Updated last month
- mirror of drupal.org repo☆11Jan 5, 2024Updated 2 years ago
- Backend skeleton for Cardano Web3 hybrid dApps. This backend uses Express as server and MongoDB as user database. It provides a basic API…☆10Jun 8, 2023Updated 2 years ago
- Implementation of EIP-2981: NFT Royalty Standard☆11Apr 9, 2022Updated 3 years ago
- "A practical guide to CUE: patterns for everyday use" - the demo!☆16Apr 9, 2022Updated 3 years ago
- ☆15Jan 6, 2025Updated last year
- R Processor for NIFI☆10Jan 20, 2018Updated 8 years ago
- integrates Google ProtoBuf as serialization layer for EMF models☆10Feb 4, 2012Updated 14 years ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- Python Smart Contracts for Cardano☆13Jul 24, 2023Updated 2 years ago
- Seshat: A groundbreaking resource that is bringing together the most current and comprehensive body of knowledge about human history avai…☆12Oct 30, 2025Updated 4 months ago
- Huawei E3372h source code from http://consumer.huawei.com/en/support/downloads/detail/index.htm?id=56443☆11Nov 3, 2015Updated 10 years ago
- ☆12Apr 1, 2025Updated 11 months ago
- Educational resources on the RGB protocol☆10Dec 30, 2022Updated 3 years ago
- ☆16Nov 4, 2023Updated 2 years ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- ☆20Jan 30, 2026Updated last month
- ☆10May 2, 2023Updated 2 years ago
- Mina protocol node, archive node, database, sidecar, performance dashboard - all-in-one docker-compose☆16Sep 7, 2022Updated 3 years ago
- Abstraction layer for Xilinx FPGAs☆15Aug 9, 2019Updated 6 years ago
- Sync IDM data (group memberships) from identity provider (Keycloak) to applications like GitLab or Mattermost☆12Nov 18, 2023Updated 2 years ago
- JNIEasy - Java Native Objects based on JNI☆10Aug 30, 2023Updated 2 years ago
- A model-based API Fuzzer for SMT Solvers.☆15Oct 14, 2025Updated 4 months ago
- A collection of neat tools related to the Xtend language.☆10Feb 16, 2015Updated 11 years ago
- Gamified training platform for quantitative finance interviews. Full stack application developed with JavaScript (TypeScript & Next.js) a…☆11Dec 19, 2024Updated last year
- MetaTrader 4 on docker☆10Sep 10, 2017Updated 8 years ago
- Doccano annotation server together with a Spacy backend☆11Apr 5, 2023Updated 2 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- Astro.build + Actix combo + Tools: A 🦀 Rust orientated monolithic template for building modern web applications.☆15Updated this week
- Shell-Craft harnesses the potential of OpenAI's API to execute prompts, generate shell commands, and auto-fill templates seamlessly inte…☆12Nov 10, 2023Updated 2 years ago
- Static analysis toolkit for security analysis in Aleo programs☆10Mar 29, 2024Updated last year
- Step by step implementation of FRI☆13Feb 9, 2025Updated last year
- ☆11Feb 3, 2018Updated 8 years ago
- Flask Web Interface to deploy ManTraNet and BusterNet for testing image manipulations☆10Jan 24, 2020Updated 6 years ago
- A proof-of-concept sustainability-linked bond in Solidity, to enable the issuance and repayment of a corporate or government bond on Ethe…☆12Feb 24, 2025Updated last year
- ☆11Sep 17, 2024Updated last year
- A guide on how to provide external configuration to microservices using MicroProfile Config: https://openliberty.io/guides/microprofile-c…☆13Updated this week