Formally verified implementation of Alive in Lean
☆45Jul 14, 2023Updated 3 years ago
Alternatives and similar repositories for AliveInLean
Users that are interested in AliveInLean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An extendible library for serialization of an arbitrary objects to JSON format extended with type information to facilitate interoperabil…☆17Dec 19, 2022Updated 3 years ago
- Fork of https://chromium.googlesource.com/breakpad/breakpad to be usable in https://github.com/Microsoft/AppCenter-SDK-Android test app w…☆14Sep 2, 2022Updated 4 years ago
- ☆17Jan 5, 2022Updated 4 years ago
- Shared repo supporting the App Center client apps.☆15Nov 17, 2017Updated 8 years ago
- LLVM support for the lean theorem prover☆53Sep 14, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 4 years ago
- Allows swapping out IoC containers without rewriting registration or resolve code.☆16Jan 23, 2021Updated 5 years ago
- A .NET framework for composing, evaluating, inspecting and persisting computational experiments which are represented as a dataflow.☆23Nov 28, 2022Updated 3 years ago
- Continues integration for Application Insights for Docker image☆14Jun 13, 2023Updated 3 years ago
- StatsD backend for Application Insights Node.js☆18Jul 22, 2020Updated 6 years ago
- Extension library to run Appium Java tests on Visual Studio App Center☆17Nov 28, 2022Updated 3 years ago
- App Center Sample App for macOS☆18Nov 28, 2022Updated 3 years ago
- Docs and scripts to simplify application deployment on AKS enabled by Arc☆20Sep 16, 2024Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆15Aug 14, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Native Metrics Agent for the Application Insights Node.js SDK☆11Updated this week
- Generates varieties of images of randomized but semantically correct technical diagrams like flow charts and state diagrams. These images…☆13Dec 8, 2022Updated 3 years ago
- High scale Redis RQ based parallel job processing example written in Python running on Azure Linux VMs.☆12May 12, 2020Updated 6 years ago
- Beta content for blockchain Learn modules☆18Nov 22, 2023Updated 2 years ago
- Demonstration based on this sample, to show how different UI elements can be tested with App Center: https://github.com/xamarin/xamarin-f…☆14Jul 29, 2021Updated 5 years ago
- A sample showcasing how to implement an on-behalf-of (OBO) authentication using AD FS. The sample uses MSAL client library to obtain a to…☆12Jun 12, 2023Updated 3 years ago
- Lumia SensorCore SDK sample for Activity Monitor API.☆25Oct 24, 2018Updated 8 years ago
- A translation validation framework for MLIR☆104Mar 19, 2025Updated last year
- Nightly releases of Bot Framework Composer (https://github.com/microsoft/BotFramework-Composer)☆16Dec 6, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This repo contains sample .NET Core library for parsing Export blobs created via App Center Continuous Export.☆14Jun 12, 2023Updated 3 years ago
- Connect Splunk to Azure Activity Log via PowerShell automation☆21Jun 14, 2023Updated 3 years ago
- The GitHub Action for Microsoft Application Inspector☆18Jul 10, 2025Updated last year
- ☆15Apr 12, 2023Updated 3 years ago
- A highlight.js language grammar for the Lean theorem proving language.☆13Oct 7, 2026Updated 3 weeks ago
- A minimal Python wrapper around the App Center REST API☆26Updated this week
- A tool for building Lean4 .olean files from Lean3 export data☆11Jul 28, 2021Updated 5 years ago
- General-purpose encoder and decoder for amf0☆14Aug 1, 2022Updated 4 years ago
- A library that contains types for table representation and operations to manipulate with tables, as well as save and load them from text …☆18Apr 17, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Experiments with SAT solvers with proofs in Lean 4☆64Jun 23, 2024Updated 2 years ago
- A sample AD FS 2019 Risk Assessment Model plug-in that blocks authentication or enforces MFA based on user risk level determined by Azure…☆11Apr 26, 2020Updated 6 years ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Jul 8, 2026Updated 3 months ago
- An LLVM interface for Lean 4. (WIP)☆27Aug 1, 2023Updated 3 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆17Oct 11, 2026Updated 2 weeks ago
- ☆16Jul 3, 2023Updated 3 years ago
- Adding Speech to Conversational Bots☆16Feb 12, 2019Updated 7 years ago