1068 Open source projects that are alternatives of or similar to Tlaplus

Links to tools by subject

Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)

TLA+ language support for Visual Studio Code

Read-only mirror of the Klever Git repository

This repository contains algorithms written in MATLAB/Octave. Developing algorithms in the MATLAB environment empowers you to explore and refine ideas, and enables you test and verify your algorithm.

SeaHorn Verification Framework

Kani Rust Verifier

Software Quality Wiki

Static checker for Java

TLA+ language support for Visual Studio Code

C++ Mathematical Expression Parsing And Evaluation Library

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

Concuerror is a stateless model checking tool for Erlang programs.

A fast, clean, responsive Hugo theme

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

带下划线的验证码输入框

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

🏃 Iterators made easy! Zero cost abstractions for designing and using C++ iterators.

Solutions to Daily Coding Problem in Javascript

It consists of examples, assignments discussed in data science course taken at algorithmica.

Tests, Questions and Solutions from Cracking the Coding Interview

Reference mobile app for BrightID

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

An asynchronous event driven PHP socket framework. Supports HTTP, Websocket, SSL and other custom protocols. PHP>=5.3.

Yet another high performance REST server based on Netty

800 UVa Online Judge solutions in Go

Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.

📌 持续构建个人的源码库（JavaScript 原生、常用库、数据结构、算法）

SoftUni Courses

Wiki

Fast sequential, threaded, and distributed for-loops for Julia—fold for humans™

Linear optimization software

In case you want to contribute, ping on https://gitter.im/NITSkmOS/algo.

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

High-Performance Erlang StatsD Client

All Algorithms implemented in Java

Plugin for Unreal Engine 4 with simple force-driven vehicle simulation

A collection of some implementations of data structures and algorithms.

Open source programming algorithms

Solve the problem. 😊 If you like ❤ give us a star⭐. HACKTOBERFEST

A lightweight, high performance micro-service framework

Tars is a high-performance RPC framework based on name service and Tars protocol, also integrated administration platform, and implemented hosting-service via flexible schedule.

The Language for Smart Legal Contracts

RTree2D is a 2D immutable R-tree with STR (Sort-Tile-Recursive) packing for ultra-fast nearest and intersection queries

Jupiter是一款性能非常不错的, 轻量级的分布式服务框架

Functional Programming Library for C++. Write concise and readable C++ code.

WebRTC C++ library built on top of chromium webrtc.

Jupyter kernel for TLA⁺

A K-means algorithm for detecting image colours

Codility Lesson1~Lesson17 100% solutions with Python3 除正確解答外comment裡有解題的思考過程

Questions selected by Love Babbar, helps you to track your progress in solving 450 & keeps you engaging based on the DSA-cracker List

A very fast and simple JavaScript priority queue

Algorithms used in Competitive Programming

NOKIA Book covers selected aspects of the telecommunication industry programmer's work

Письма к студентам курса

Coursera: Data Structures and Algorithms Specialization

A collection of algorithms and data structures

A fast, cross-platform micro web framework. A successor of Iris v8