158 Open source projects that are alternatives of or similar to imove

Move your mouse, generate code from flow chart

🌈 低代码快速开发脚手架，灵活、高效，降低开发成本

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

The best way to listen to your favorite podcasts.

一个基于jsplumb的使用angular6写的一个可拖拽的流程图实例

🤖 A helpful CLI for your git troubles!

Immediately create your own unique variation of this popular C++ 11 Standard Container Flowchart at https://drive.google.com/file/d/1wAUsTIeKRgSfo0m-3rR4P6Boi3FuixEk/view

基于mxGraph+vue设计的流程图编辑器

Exemplary real world application built with Angular 8 and state machines

A storybook addon to assist with writing stories that rely on xstate

A Reasoning System for a First-Order Logic of Limited Belief, written in C++

Mirror of documentation at https://docs.appsmith.com. Raise Pull requests against this repository to update the documentation

xstate for dart & flutter

A predictable state management library that helps implement the BLoC design pattern

Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten

完全支持Vue3和Vitejs的DAG流程图组件

Examples and a small library for using XState in Angular

Core Lucy compiler

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

💪🏽 Form creation made easy, backed by state machines

Custom hook for adding cheat codes to your React app.

TypeDB: a strongly-typed database

A symbolic model checker for Dynamic Epistemic Logic.

js action game

A list of philosophy books and resources.

Mod for minetest that adds digital circuitry [=minecraft redstone]

A micro conditional javascript engine used to parse the raw logical and comparison expressions, evaluate the expression in the given data context, and provide access to a text form of the given expressions.

Password Lense: reveal character types in a password

Statecharts as components. No classes. Pure declarative state transitions.

A multi-framework Design System to provide a solid foundation for building UI!

A curated list of awesome philosophy

Provides a parser function to generate diagrams and flowcharts with the help of the mermaid script language

BPMN diagrams in R

O(N log N)-space IPC solver in OCaml

A Django based no code Admin and low code develop framework

truth-table-generator is a tool that allows to generate a truth table

🛠 [Beta] 面向研发的低代码元编程，代码可视编辑，辅助编码工具

Statecharts for Ember.js applications

Given a mermaid code (markdown-like), serve an image for you

Building Blocks for XState-based Actor Systems.

Version 2 of my Crazy Small CPU

A React state machine demo using xstate

LowCode, PC Page Maker, PC Editor. Make PC as easy as building blocks. | 让网页制作像搭积木一样简单, 轻松搭建PC页面, Web网站, PC端网站. lowcode(low-code)可视化搭建平台

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

FlowJS allows you to render dynamic, animated flow charts using HTML5 canvas

Model finder for higher-order logic

XState connector to React Router.

Solutions for the book "Language Proof and Logic".

TypeDB: a strongly-typed database

Schematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls

LaTTe : a Laboratory for Type Theory experiments (in clojure)

Create linked objects (datapoints) of your devices with a self-defined structure. This makes it possible to create a structure in ioBroker, where all objects are centralized, e.g. to be used in the vis or scripts.

ACL2 System and Books as Maintained by the Community

Switch is a small logic game that demonstrates usage of Pixar USD and Hydra on Windows.

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

Build and evaluate JsonLogic with React components

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

epage 核心依赖 低代码可视化配置

Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models

基于electron的lowcode编辑器桌面端