379 Open source projects that are alternatives of or similar to mSAT

Jupyter notebooks for tutorial on the Z3 SMT solver

Intrepyd Model Checker

excel convert to .NET Object | Excel与.NET 对象进行转换，支持公式、多Sheet等功能

Fast and powerful .NET spreadsheet component, support data format, freeze, outline, formula calculation, chart, script execution and etc. Compatible with Excel 2007 (.xlsx) format and working on .NET 3.5 (or client profile), WPF and Android platform.

TypeScript/javascript spreadsheet parser, with formulas.

OpenSource Web based spreadsheet

Simplex Noise & WebGL with p5js from Processing.Org

微信公众号公式编辑插件

aJLaTeXMath Library - Displays LaTeX commands in android OS.

A Modular Classloading System

Golang library for reading and writing Microsoft Excel™ (XLSX) files.

✏️ Nice modular interactive 2D drawing library

Microsoft Word VSTO Add-In，可以插入带编号的公式和代码

PHP Mathematical expression parser and evaluator

Parse and evaluate MS Excel formula in javascript.

jQuery Calx - a jQuery plugin for creating formula-based calculation form

Development version of vioplot R package (CRAN maintainer)

math and logic formula parser and evaluator

Geodesy PHP - Port of some known geodesic/math functions for getting distance from a known point A to a known point B given their coordinates. It also supports conversion between units of length, Polar position to Cartesian coordinates, and different Reference Datums.

A Node UDP client and telemetry parser for Codemaster's Formula 1 series of games

Example Project & Guide for mastering Promises in Node/JavaScript. Feat. proposed 'Functional River' pattern

.NET library for rendering mathematical formulae using the LaTeX typsetting style, for the WPF framework

🚀 A seamless framework for build app from MVC, MVVM, VIPER (etc.) design pattern in iOS world. (OC & Swift)

Jenkins custom formulas

Simple, robust and performant Erlang web server

WordPress testing plugin

Generates and handles Modules for Laravel

@Homebrew tap for @adobe apps and plugins.

Parsing and evaluating mathematical formulas given as strings.

cheat sheet for Artificial Intelligence

LaTeX. in C#. (ported from the wonderful iosMath project).

Create Maya node-network by entering a math-formula.

Luckysheet is an online spreadsheet like excel that is powerful, simple to configure, and completely open source.

Formula to detect the ease of reading a text according to the Gunning fog index (1952)

A modern JavaScript development environment for Minecraft.

javascript nodejs excel formula parser

Renders TeXy Math for Github Readmes

Support four arithmetic operations, Excel formulas, and support custom parameters. 支持四则运算、Excel公式语法，并支持自定义参数。

Easily type math in your webapp

🌈 Color model HCV/HCG is an alternative to HSV and HSL, derived by Munsell color system, usable for Dark and Light themes... 🌈

Javascript Library parsing Excel Formulas and more

⚙️ A GitHub Action to easily bump Homebrew formula on new release

WarpPI Calculator, Step-by-step algebra calculator for Raspberry Pi. (abandoned project)

A small Java library to parse mathematical formulas to LaTeX and display them as images

pySMT: A library for SMT formulae manipulation and solving

A high-performant Logging Foundation for Go Applications. X3 faster than the rest leveled loggers.

A functional reactive framework for managing state and side effects based on RxJava.

DDD. Event sourcing. CQRS. REST. Modular. Microservices. Kotlin. Spring. Axon platform. Apache Kafka. RabbitMQ

Jace.NET is a calculation engine for the .NET platform.

A graph node engine and editor written in Javascript similar to PD or UDK Blueprints, comes with its own editor in HTML5 Canvas2D. The engine can run client side or server side using Node. It allows to export graphs as JSONs to be included in applications independently.

A Python (v3.6.5) package that provides a set of basic functions commonly used in integrated photonics.

Modular image picker with Simulator-compatible AVFondation camera, assets library, filters and more.

A Ruby-based expression parser, evaluator, and programming language

Main repository of Project Alice, contains main unit source code

“想学吗”个人知识管理与自媒体营销工具

A multi-function Discord bot

🌘 formula ui generator

the only php webshell you need.

Experimental Smart Contracts In Plutus.

A complete, open-source Excel-like calculation engine written in TypeScript. Includes 380+ built-in functions. Maintained by the Handsontable team⚡