Topic: tla Goto Github
Some thing interesting about tla
Some thing interesting about tla
tla,The Master Object Model (MOM) is an xAPI profile that denotes how a student's learning can be tracked throught their entire "lifetime" within the Total Learning Achitecture (TLA).
Organization: adlnet
Home Page: https://adlnet.gov/projects/tla/
tla,Guidance on transitioning from a SCORM environment to a TLA environment
Organization: adlnet
Home Page: https://adlnet.gov/news/2016/02/17/scormxapi-roadmap-release-and-resources/
tla,Codebase for the ADL Initiative's Total Learning Architecture (TLA) reference implementation. Once matured and implemented, the TLA will enable personalized, data-driven, and technology-enabled lifelong learning across the DoD, other Federal Government agencies, and beyond.
Organization: adlnet
Home Page: https://adlnet.gov/projects/tla/
tla,APALACHE: symbolic model checker for TLA+ and Quint
Organization: apalache-mc
Home Page: https://apalache-mc.org/
tla,This repository is a source code of my master thesis. In my master thesis, I developed a prototype to translate TLA+ expressions to the SMT-LIB language, and to verify safety properties with SMT solvers, IC3-based techniques and user-guided predicate abstraction.
User: banhday
tla,A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
User: decanus
tla,TLA+ specification for Succinct Atomic Swap smart contract
User: dgpv
tla,PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Organization: distcompiler
Home Page: https://distcompiler.github.io/
tla,Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Organization: fizzbee-io
Home Page: https://fizzbee.io
tla,TLA+ specification of Flexible Paxos
Organization: fpaxos
Home Page: http://drops.dagstuhl.de/opus/volltexte/2017/7094/pdf/LIPIcs-OPODIS-2016-25.pdf
tla,π WIP Hop Protocol TLA+ Specification
Organization: hop-protocol
Home Page: https://github.com/hop-protocol/spec/
tla,Learn TLA+ for free! No prior experience necessary!
User: hwayne
Home Page: https://www.learntla.com
tla,Model-based testing tool
Organization: informalsystems
Home Page: https://mbt.informal.systems
tla,Utilities for the TLA+ ecoystem and model-based testing using TLA+.
Organization: informalsystems
tla,TLA+ questions, answers, and experiments
User: isaac-defrain
tla,Synchronous fault-tolerant distributed algorithms encoded in TLA+
User: istoilkovska
tla,Jupyter kernel for TLAβΊ
User: kelvich
tla,Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
User: lemmy
Home Page: https://youtu.be/wjsI0lTSjIo
tla,Proving a blocking queue deadlock free in a dozen different ways
User: lemmy
tla,My own notes (drafts mostly) about software quality
User: ligurio
Home Page: https://github.com/ligurio/sqa-wiki/wiki
tla,TLA+ model of some SAFE network stuff
User: michaelsproul
tla,A collection of various TLA+ examples and helper functions for learning.
User: miguelmota
Home Page: https://github.com/miguelmota/tla-cookbook
tla,Some examples and notes while learning TLA+ modeling language.
User: miguelmota
Home Page: https://github.com/miguelmota/tla-learning
tla,Different TLA+ specifications, mostly for learning purposes
User: mryndzionek
tla,Command line binaries for the TLA+ language
User: pmer
tla,The Official Plugin for ProjectKorra.
Organization: projectkorra
Home Page: https://projectkorra.com
tla,Lightning talk about TLA+ for Scala Exchange 2018
User: rberenguel
tla,writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
User: spacejam
tla,Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
User: starydark
tla,TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
Organization: tezedge
tla,Temporal Logic of Actions Modeling for Python
Organization: timewinder-dev
tla,The TLA+ Video Course by Leslie Lamport
Organization: tlaplus
Home Page: https://lamport.azurewebsites.net/video/videos.html
tla,TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Organization: tlaplus
Home Page: https://lamport.azurewebsites.net/tla/tla.html
tla,TLA+ language support for Visual Studio Code
Organization: tlaplus
tla,Formal models of vac protocols
Organization: vacp2p
tla,How to use TLA+ / TLA+ specification of the ClickHouse replication protocol
User: vadimplh
tla,TLA+ specification of a TCP/IP 3-way handshake in multi-client environment.
User: vedantpimpley
tla,Parse the trace of TLC output and generate HTML with better format.
User: visualzhou
tla,Interactive, web-based environment for exploring TLA+ specifications.
User: will62794
tla,A simple REPL for TLA+.
User: will62794
tla,LRSPipe is an xAPI Statement forwarding/middeware process governed directly by xAPI Profiles.
Organization: yetanalytics
Home Page: https://www.sqllrs.com/
A declarative, efficient, and flexible JavaScript library for building user interfaces.
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. πππ
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google β€οΈ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.