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

Password Lense: reveal character types in a password

Final Year Masters Project: modal logic solver tableaux

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

λΠ Programming Language Theory

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

Curated list of Prolog packages and resources

A curated list of awesome philosophy

TypeQL: the query language of TypeDB - a strongly-typed database

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

📚Solutions to Language, Proof and Logic (2nd Edition)

BPMN diagrams in R

Digital circuit learning platform

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

Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.

A Django based no code Admin and low code develop framework

Haskell bindings for PicoSAT solver

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

A free, open source, online digital circuit/logic designer.

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

Effortless Microservice Design and Integration. This repository includes the code-base for the Warewolf Studio and Server.

Statecharts for Ember.js applications

A library to display an interactive editor for any graph-like data.

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

♏ 一款浏览器端的 Markdown 编辑器。

Building Blocks for XState-based Actor Systems.

The open source embeddable online markdown editor (component).

Version 2 of my Crazy Small CPU

Generate flowchart diagrams for Hexo.

A React state machine demo using xstate

The sassy UML diagram renderer

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

🦋Butterfly，A JavaScript/React/Vue2 Diagramming library which concentrate on flow layout field. (基于JavaScript/React/Vue2的流程图组件)

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

Vue Flowy makes creating flowchart or hierarchy chart functionality an easy task. Build automation software, mind mapping tools, organisation charts, or simple programming platforms in minutes by implementing the library into your project.

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

📝基于 Vue、Vditor，所构建的在线 Markdown 编辑器，支持流程图、甘特图、时序图、任务列表、HTML 自动转换为 Markdown 等功能；🎉新增「所见即所得」编辑模式。

Model finder for higher-order logic

A flowchart that explains the new lifecycle of a Hooks component. https://dwe.st/hf

XState connector to React Router.

基于G6和VUE的可视化流程编辑工具

Solutions for the book "Language Proof and Logic".

A flexible, stateless, declarative flow chart library for react.

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

TypeDB: a strongly-typed database

Draws simple SVG flow chart diagrams from textual representation of the diagram

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

Visual connectivity for webapps

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.

Simple flow library 🖥️🖱️

ACL2 System and Books as Maintained by the Community

JavaScript diagramming library for interactive flowcharts, org charts, design tools, planning tools, visual languages.

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

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

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编辑器桌面端

Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al