223 Open source projects that are alternatives of or similar to Lean

A Proof-oriented Programming Language

Book: Gentle Introduction to Dependent Types with Idris

Normalization by evaluation for Martin-Löf Type Theory with dependent records

❤️ Simple UI for pincode verification

The Mobile Application Security Verification Standard (MASVS) is a standard for mobile app security.

Temporal Logic Planning toolbox

A modern proof language

Towards changing things and see if it proofs

CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.

Liquid Types For Haskell

A List of Free and Open Source Hardware Verification Tools and Frameworks

cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout

Formalising Type Theory in a modular way for translations between type theories

immudb - world’s fastest immutable database, built on a zero trust model

(WIP) Dependently-typed programming language with Agda style dependent pattern matching

Agda is a dependently typed programming language / interactive theorem prover.

Automatic SMS Verification with the SMS Retriever API

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

✅❎ A lightweight image rotation verification plugin.

The Language for Smart Legal Contracts

⏰ 纯 JavaScript 实现的针对 React Native App 的倒计时组件。

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Open Source License Key Generation and Verification Tool written in Go

HACL*, a formally verified cryptographic library written in F*

An advanced SAT solver

短信验证：基于阿里云的 微信小程序 功能模块: 直接用 / mini-program + Node.js + Alibaba Cloud / Front & Back End

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

😎TT

A boilerplate for Node.js apps / Rest API / Authentication from scratch - express, mongodb (mongoose).

Vonage Server SDK for Java. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.

List of resources about foundational knowledge for programmers (supposed to last a few decades)

A collection of papers on modules.

🔥🚀 Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations

Standard Subresource Integrity library for Node.js

A fast SAT solver

Methods to compute sets of states reachable by dynamical systems

Verifying concurrent crash-safe systems

ECMAScript verification with SMT solvers

[DEPRECATED] Truebit Verification for Scrypt

✅ A Go library for email verification without sending any emails.

a gesture recognition verification lock

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Homotopy type theory

OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...

✉️ ✅ A Fast and Free Email Verification API written in Go

带下划线的验证码输入框

Android library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon

TLA+ language support for Visual Studio Code

Enables your consumer driven contracts workflow

Reference mobile app for BrightID

Cosette is an automated SQL solver.

Cogent Project

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

验证码输入框，验证码，code view，iOS验证码输入

Lecture notes on univalent foundations of mathematics with Agda

Collection of Verification Tasks

A Super Kawaii Dependently Typed Programming Language