460 Open source projects that are alternatives of or similar to mbeddr.formal

Angular markdown component/directive/pipe/service to parse static, dynamic or remote content to HTML with syntax highlight

GUI for installing apps through WinGet and Creating Yaml file

An interactive development environment for SMT-LIB files and Z3

A shell that runs Accelerider applications on the Windows platform.

PlantUML sprites, macros, and other includes for Azure services

Using z3's never been easier (maybe)

ZEsarUX - ZX Second-Emulator And Released for UniX

Transform your spin bike into a Smart Trainer!

一个高仿微信网页版 https://wx.qq.com 的WPF应用程序，基本完成了网页微信的主要基础功能，例如聊天，联系人，搜索，表情等。

A python lens library for manipulating deeply nested immutable structures

highlight code using prism.js and vue component

Command-line tools for working with Architecture Decision Records

Minimal, idiomatic style management for React Native

Note this project is no longer needed as the new Dialog Service in Prism 7.2 accomplishes everything this aimed to solve.

Scripts and Javascript Glue code to use Z3 in the browser using WASM

🐝Full Package | Simple | Fresh UI | Blog Template :: Let's start to blogging with gatsby-starter-bee!

🚅 Fast orthogonal polynomial transforms 🏄

WPF, MVVM, XAML, C#, Prism

Tradução da documentação oficial do Prism com exemplos de uso

A Chrome Extension to format/highlight/preview HTML/JS/CSS/Markdown code with Prism.js

Hexo plugin for code highlighting by prism.js, supporting JSX syntax

Prism for Xamarin.Forms入門 Hands-on

PsPIN: A RISC-V in-network accelerator for flexible high-performance low-power packet processing

Code metric analyzer for Swift projects.

This provides extensibility for Prism.Forms INavigationService to handle Popup Views

iOS VIPER implementation, demonstrating discovering modules and injecting dependencies with protocol. Provide VIPER code Templates.

Enables remote logging services for Prism Applications

collection of syntax highlighting colorschemes

Example using Prism / Markdown with Next.js including switching syntax highlighting themes.

Creates a beautiful artboard color palette with all your 'Document Colors' and their respective color label in a variety of formats.

A simple, bootstrap 4 based hugo blog theme.

Samples that demonstrate how to use various Prism features with WPF

Add IDE-like text entry to HTML contenteditable tags

Prism is a framework for building loosely coupled, maintainable, and testable XAML applications in WPF, Xamarin Forms, and Uno / Win UI Applications..

Software for writing technical requirements specifications.

Samples that demonstrate how to use various Prism features with Xamarin.Forms

Markov chain Monte Carlo solver for lattice spin systems implemented by Julialang

🧛🏻‍♂️ Dark theme for Prism.js

America's favorite Eleventy blog template.

Project demonstrates usage of Prism composition library, Material design library, SQL Server, Entity Framework in WPF application

Haskell bindings to Microsoft's Z3 API (unofficial).

My personal website built with Next.js, Chakra UI, Firebase, and next-mdx-remeote.

Prism is a beautiful open-source wallpapers app for Android. It is built with Dart on top of Google's Flutter Framework.

Buy movie tickets in advance, find movie times, and more at "Movies".

An OpenZeppelin starter kit focused on GSN.

Personal website and blog built with Next.js, Preact, MDX, Tailwind CSS and hosted on Vercel.

Angular syntax highlighting module

A collection of full-stack resources for programmers.

An operating system created in c#, Made possible by the cosmos community!

A daily digest of the articles or videos I've found interesting, that I want to share with you.

Turn any OpenAPI2/3 and Postman Collection file into an API server with mocking, transformations and validations.

C4-PlantUML combines the benefits of PlantUML and the C4 model for providing a simple way of describing and communicate software architectures

Global Sensor Networks

Functional abstractions to manipulate complex records in Elm - Iso, Prism, Lens, Optional, Traversal.

A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

Prism Templates using the DotNet New cli

Automated Schedule Generation for Time-Sensitive Networks (TSN).

A Comparison of MVVM Frameworks for Xamarin Projects

Type-safe, ergonomic, polymorphic optics for TypeScript