stlc
There are 16 repositories under stlc topic.
cybergeekgyan/Software-Tester-QA-
Guide, Roadmap and List of resources for a Software Tester/Quality Assurance/Test Automation Engineer
gergoerdi/stlc-agda
STLC-related snippets in Agda
groupoid/alonzo
🧊 Типізоване -גчислення
PragmaTwice/ichigo-lang
write a little simply typed functional language to practice Rust
schell/px-lang
px is an experimental, typed lambda calculus for _
MisakaCenter/STLC
❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.
Kamirus/lambda-formalizations
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
archanpatkar/styla
Simply Typed Lambda Calculus
remexre/fstlc
An STLC to Forth386 compiler.
abhijitdesai28/software-testing
this repo contains information about software testing
AlenaShvedava/Carina
API & Web Tests. Testing module practical tasks. Internship at Solvd Inc. Bug-tracking systems, SDLC, Carina Framework
Nischalkhadka/Quality-Assurance
It contains all the information about the process, activities and tools used in Quality Assurance process
nolakkapali/Theoretical-Knowledge-of-Software-Testing-and-QA
Theoretical knowledge of software testing and quality assurance
sudhakarsdk98/SDET
Manual and Automation Testing (Selenium Java)
boumer7/standsys
Разработка блок-схемы для визуализации жизненного цикла тестирования ПО в draw.io
fagun18/stlc
STLC(Software Testing Life Cycle)